29. AAAI 2015: Austin, Texas, USA

• 
  Blai Bonet, Sven Koenig:
  Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. AAAI Press 2015, ISBN 978-1-57735-698-1

AI and the Web

• 
  Takuya Akiba, Takanori Hayashi, Nozomi Nori, Yoichi Iwata, Yuichi Yoshida:
  Efficient Top-k Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling. 2-8
• 
  Mustafa Al-Bakri, Manuel Atencia, Steffen Lalande, Marie-Christine Rousset:
  Inferring Same-As Facts from Linked Data: An Iterative Import-by-Query Approach. 9-15
• 
  Jun Chen, Chaokun Wang, Jianmin Wang:
  A Personalized Interest-Forgetting Markov Model for Recommendations. 16-22
• 
  Jun Chen, Chaokun Wang, Jianmin Wang:
  Will You "Reconsume" the Near Past? Fast Prediction on Short-Term Reconsumption Behaviors. 23-29
• 
  Tao Chen, Hany M. SalahEldeen, Xiangnan He, Min-Yen Kan, Dongyuan Lu:
  VELDA: Relating an Image Tweet's Text and Images. 30-36
• 
  Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuanshun Dai:
  On Information Coverage for Location Category Based Point-of-Interest Recommendation. 37-43
• 
  Yan-Ying Chen, Yin-Hsi Kuo, Chun-Che Wu, Winston H. Hsu:
  Visually Interpreting Names as Demographic Attributes by Exploiting Click-Through Data. 44-50
• 
  Belkacem Chikhaoui, Mauricio Chiazzaro, Shengrui Wang:
  A New Granger Causal Model for Influence Evolution in Dynamic Social Networks: The Case of DBLP. 51-57
• 
  Sara Cohen, Aviv Zohar:
  An Axiomatic Approach to Link Prediction. 58-64
• 
  Peng Cui, Tianyang Zhang, Fei Wang, Peng He:
  Perceiving Group Themes from Collective Social and Behavioral Information. 65-71
• 
  Aron Culotta, Nirmal Ravi Kumar, Jennifer Cutler:
  Predicting the Demographics of Twitter Users from Website Traffic Data. 72-78
• 
  Wei Dai, Abhimanu Kumar, Jinliang Wei, Qirong Ho, Garth A. Gibson, Eric P. Xing:
  High-Performance Distributed ML at Scale through Parameter Server Consistency Models. 79-87
• 
  Jiwei Ding, Wentao Ding, Wei Hu, Yuzhong Qu:
  An EBMC-Based Approach to Selecting Types for Entity Filtering. 88-94
• 
  Valeria Fionda, Gianluigi Greco:
  Trust Models for RDF Data: Semantics and Complexity. 95-101
• 
  Valeria Fionda, Giuseppe Pirrò, Mariano P. Consens:
  Extended Property Paths: Writing More SPARQL Queries in a Succinct Way. 102-108
• 
  Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
  Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. 109-115
• 
  Kalpa Gunaratna, Krishnaprasad Thirunarayan, Amit P. Sheth:
  FACES: Diversity-Aware Entity Summarization Using Incremental Hierarchical Conceptual Clustering. 116-122
• 
  Guibing Guo, Jie Zhang, Neil Yorke-Smith:
  TrustSVD: Collaborative Filtering with Both the Explicit and Implicit Influence of User Trust and of Item Ratings. 123-129
• 
  Dongxiao He, Dayou Liu, Di Jin, Weixiong Zhang:
  A Stochastic Model for Detecting Heterogeneous Link Communities in Complex Networks. 130-136
• 
  Xian-Sheng Hua, Jin Li:
  Prajna: Towards Recognizing Whatever You Want from Images without Image Labeling. 137-144
• 
  Mans Hulden, Miikka Silfverberg, Jerid Francom:
  Kernel Density Estimation for Text-Based Geolocation. 145-150
• 
  Cheng Jin, Wenhui Mao, Ruiqi Zhang, Yuejie Zhang, Xiangyang Xue:
  Cross-Modal Image Clustering via Canonical Correlation Analysis. 151-159
• 
  Di Jin, Zheng Chen, Dongxiao He, Weixiong Zhang:
  Modeling with Node Degree Preservation Can Accurately Find Communities. 160-167
• 
  Seungyeon Kim, Joonseok Lee, Guy Lebanon, Haesun Park:
  Estimating Temporal Dynamics of Human Emotions. 168-174
• 
  Patrick Koopmann, Renate A. Schmidt:
  Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. 175-181
• 
  Virgile Landeiro Dos Reis, Aron Culotta:
  Using Matched Samples to Estimate the Effects of Exercise on Mental Health via Twitter. 182-188
• 
  Freddy Lécué, Jeff Z. Pan:
  Consistent Knowledge Discovery from Evolving Ontologies. 189-195
• 
  He Liu, Hongliang Yu, Zhi-Hong Deng:
  Multi-Document Summarization Based on Two-Level Sparse Representation Model. 196-202
• 
  Qiang Liu, Shu Wu, Liang Wang:
  COT: Contextual Operating Tensor for Context-Aware Recommender Systems. 203-209
• 
  Weiwei Liu, Zhi-Hong Deng, Xiuwen Gong, Frank Jiang, Ivor W. Tsang:
  Effectively Predicting Whether and When a Topic Will Become Prevalent in a Social Network. 210-216
• 
  Zhongqi Lu, Zhicheng Dou, Jianxun Lian, Xing Xie, Qiang Yang:
  Content-Based Collaborative Filtering for News Topic Recommendation. 217-223
• 
  Zongyang Ma, Aixin Sun, Quan Yuan, Gao Cong:
  A Tri-Role Topic Model for Domain-Specific Question Answering. 224-230
• 
  Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
  Handling Owl: sameAs via Rewriting. 231-237
• 
  Stephen Mussmann, John Moore, Joseph John Pfeiffer III, Jennifer Neville:
  Incorporating Assortativity and Degree Dependence into Scalable Network Models. 238-246
• 
  Peter F. Patel-Schneider:
  Using Description Logics for RDF Constraint Checking and Closed-World Recognition. 247-253
• 
  Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang:
  Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice. 254-260
• 
  Suhas Ranganath, Jiliang Tang, Xia Hu, Hari Sundaram, Huan Liu:
  Leveraging Social Foci for Information Seeking in Social Media. 261-267
• 
  Marie-Christine Rousset, Federico Ulliana:
  Extracting Bounded-Level Modules from Deductive RDF Triplestores. 268-274
• 
  Yikang Shen, Wenge Rong, Zhiwei Sun, Yuanxin Ouyang, Zhang Xiong:
  Question/Answer Matching for CQA System via Combining Lexical and Sequential Information. 275-281
• 
  Sigal Sina, Avi Rosenfeld, Sarit Kraus, Navot Akiva:
  A Hybrid Approach of Classifier and Clustering for Solving the Missing Node Problem. 282-289
• 
  Dongjin Song, David A. Meyer:
  Recommending Positive Links in Signed Social Networks by Optimizing a Generalized AUC. 290-296
• 
  Wei Sun, Pengyuan Wang, Dawei Yin, Jian Yang, Yi Chang:
  Causal Inference via Sparse Additive Models with Application to Online Advertising. 297-303
• 
  Jie Tang, Chenhui Zhang, Keke Cai, Li Zhang, Zhong Su:
  Sampling Representative Users from Large Social Networks. 304-310
• 
  Goutham Tholpadi, Mrinal Kanti Das, Trapit Bansal, Chiranjib Bhattacharyya:
  Relating Romanized Comments to News Articles by Inferring Multi-Glyphic Topical Correspondence. 311-317
• 
  Jinpeng Wang, Gao Cong, Wayne Xin Zhao, Xiaoming Li:
  Mining User Intents in Twitter: A Semi-Supervised Approach to Inferring Intent Categories for Tweets. 318-324
• 
  Senzhang Wang, Zhao Yan, Xia Hu, Philip S. Yu, Zhoujun Li:
  Burst Time Prediction in Cascades. 325-331
• 
  Xiangyu Wang, Dayu He, Danyang Chen, Jinhui Xu:
  Clustering-Based Collaborative Filtering for Link Prediction. 332-338
• 
  Yu Wu, Wei Wu, Zhoujun Li, Ming Zhou:
  Mining Query Subtopics from Questions in Community Question Answering. 339-345
• 
  Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo:
  DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization. 346-352
• 
  Xiaohui Yan, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng:
  A Probabilistic Model for Bursty Topic Discovery in Microblogs. 353-359
• 
  Bo Yang, Xuehua Zhao:
  On the Scalable Learning of Stochastic Blockmodel. 360-366
• 
  Yang Yang, Jie Tang, Cane Wing-ki Leung, Yizhou Sun, Qicong Chen, Juanzi Li, Qiang Yang:
  RAIN: Social Role-Aware Information Diffusion. 367-373
• 
  Weilong Yao, Jing He, Hua Wang, Yanchun Zhang, Jie Cao:
  Collaborative Topic Ranking: Leveraging Item Meta-Data for Sparsity Reduction. 374-380
• 
  Quanzeng You, Jiebo Luo, Hailin Jin, Jianchao Yang:
  Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks. 381-388
• 
  Chenyi Zhang, Ke Wang, Ee-Peng Lim, Qinneng Xu, Jianling Sun, Hongkun Yu:
  Are Features Equally Representative? A Feature-Centric Recommendation. 389-395
• 
  Hongyi Zhang, Irwin King, Michael R. Lyu:
  Incorporating Implicit Link Preference Into Overlapping Community Detection. 396-402
• 
  Qi Zhang, Yeyun Gong, Ya Guo, Xuanjing Huang:
  Retweet Behavior Prediction Using Hierarchical Dirichlet Process. 403-409
• 
  Weinan Zhang, Zhaoyan Ming, Yu Zhang, Ting Liu, Tat-Seng Chua:
  Exploring Key Concept Paraphrasing Based on Pivot Language Translation for Question Retrieval. 410-416
• 
  Xinjie Zhou, Xiaojun Wan, Jianguo Xiao:
  Representation Learning for Aspect Category Detection in Online Reviews. 417-424

Applications

• 
  Virginia Ortiz Andersson, Ricardo Matsumura de Araújo:
  Person Identification Using Anthropometric and Gait Data from Kinect Sensor. 425-431
• 
  Sarah M. Erfani, Mahsa Baktashmotlagh, Sutharshan Rajasegarar, Shanika Karunasekera, Christopher Leckie:
  R1SVM: A Randomised Nonlinear Approach to Large-Scale Anomaly Detection. 432-438
• 
  Xiaomin Fang, Rong Pan, Guoxiang Cao, Xiuqiang He, Wenyuan Dai:
  Personalized Tag Recommendation through Nonlinear Tensor Factorization Using Gaussian Kernel. 439-445
• 
  Marzyeh Ghassemi, Marco A. F. Pimentel, Tristan Naumann, Thomas Brennan, David A. Clifton, Peter Szolovits, Mengling Feng:
  A Multivariate Timeseries Modeling Approach to Severity of Illness Assessment and Forecasting in ICU with Sparse, Heterogeneous Clinical Data. 446-453
• 
  Fei Mi, Dit-Yan Yeung:
  Probabilistic Graphical Models for Boosting Cardinal and Ordinal Peer Grading in MOOCs. 454-460
• 
  Piotr Lech Szczepanski, Mateusz Krzysztof Tarkowski, Tomasz Pawel Michalak, Paul Harrenstein, Michael Wooldridge:
  Efficient Computation of Semivalues for Game-Theoretic Network Centrality. 461-469
• 
  Suhang Wang, Jiliang Tang, Huan Liu:
  Embedded Unsupervised Feature Selection. 470-476
• 
  Yongqing Wang, Huawei Shen, Shenghua Liu, Xueqi Cheng:
  Learning User-Specific Latent Influence and Susceptibility from Information Cascades. 477-484

Cognitive Modeling

• 
  David Balduzzi, Hastagiri Vanchinathan, Joachim M. Buhmann:
  Kickback Cuts Backprop's Red-Tape: Biologically Plausible Credit Assignment in Neural Networks. 485-491
• 
  Josefina Sierra-Santibáñez:
  An Agent-Based Model of the Emergence and Transmission of a Language System for the Expression of Logical Combinations. 492-500

Cognitive Systems

• 
  Joseph A. Blass, Kenneth D. Forbus:
  Moral Decision-Making by Analogy: Generalizations versus Exemplars. 501-507
• 
  Erik Cambria, Jie Fu, Federica Bisio, Soujanya Poria:
  AffectiveSpace 2: Enabling Affective Intuition for Concept-Level Sentiment Analysis. 508-514
• 
  Alfredo Gabaldon, Pat Langley:
  Dialogue Understanding in a Logic of Action and Belief. 515-521
• 
  JungWoo Ha, Kyung-Min Kim, Byoung-Tak Zhang:
  Automated Construction of Visual-Linguistic Knowledge via Concept Learning from Cartoon Videos. 522-528
• 
  Jesse Hoey, Tobias Schröder:
  Bayesian Affect Control Theory of Self. 529-536
• 
  Pat Langley, Adam Arvay:
  Heuristic Induction of Rate-Based Process Models. 537-543
• 
  Justin Li, John E. Laird:
  Spontaneous Retrieval from Long-Term Memory for a Cognitive Architecture. 544-550
• 
  Chen Liang, Kenneth D. Forbus:
  Learning Plausible Inferences from Semantic Web Knowledge by Combining Analogical Generalization with Structured Logistic Regression. 551-557
• 
  Peter Lindes, Deryle W. Lonsdale, David W. Embley:
  Ontology-Based Information Extraction with a Cognitive Agent. 558-564
• 
  Matthew D. McLure, Scott E. Friedman, Kenneth D. Forbus:
  Extending Analogical Generalization with Near-Misses. 565-571
• 
  Marjorie McShane, Petr Babkin:
  Automatic Ellipsis Resolution: Recovering Covert Information from Text. 572-578
• 
  Daniel R. Schlegel, Stuart C. Shapiro:
  Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. 579-585
• 
  Miaolong Yuan, Bo Tian, Vui Ann Shim, Huajin Tang, Haizhou Li:
  An Entorhinal-Hippocampal Model for Simultaneous Cognitive Map Building. 586-592
• 
  Keyang Zhang, Kenny Q. Zhu, Seung-won Hwang:
  An Association Network for Computing Semantic Relatedness. 593-600

Computational Sustainability and AI

• 
  Saima Aman, Charalampos Chelmis, Viktor K. Prasanna:
  Influence-Driven Model for Time Series Prediction from Partial Observations. 601-607
• 
  Filippo Bistaffa, Alessandro Farinelli, Sarvapali D. Ramchurn:
  Sharing Rides with Friends: A Coalition Formation Algorithm for Ridesharing. 608-614
• 
  Frits de Nijs, Matthijs T. J. Spaan, Mathijs de Weerdt:
  Best-Response Planning of Thermostatically Controlled Loads under Power Constraints. 615-621
• 
  John P. Dickerson, Tuomas Sandholm:
  FutureMatch: Combining Human Value Judgments and Machine Learning to Match in Dynamic Environments. 622-628
• 
  Ehsan Elhamifar, Shankar Sastry:
  Energy Disaggregation via Learning Powerlets and Sparse Coding. 629-635
• 
  Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover:
  Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. 636-643
• 
  Stefano Ermon, Yexiang Xue, Russell Toth, Bistra N. Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick E. Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes:
  Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa. 644-650
• 
  Vitor Campanholo Guizilini, Fabio Tozeto Ramos:
  A Nonparametric Online Model for Air Quality Prediction. 651-657
• 
  Hassan L. Hijazi, Terrence W. K. Mak, Pascal Van Hentenryck:
  Power System Restoration With Transient Stability. 658-664
• 
  Micha Kahlen, Wolfgang Ketter:
  Aggregating Electric Cars to Sustainable Virtual Power Plants: The Value of Flexibility in Future Electricity Markets. 665-671
• 
  Liangda Li, Hongyuan Zha:
  Energy Usage Behavior Modeling in Energy Disaggregation via Marked Hawkes Process. 672-678
• 
  BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent:
  HVAC-Aware Occupancy Scheduling. 679-686
• 
  Eoin O'Mahony, David B. Shmoys:
  Data Analysis and Optimization for (Citi)Bike Sharing. 687-694
• 
  Athanasios Aris Panagopoulos, Georgios Chalkiadakis, Nicholas Robert Jennings:
  Towards Optimal Solar Tracking: A Dynamic Programming Approach. 695-701
• 
  Sandhya Saisubramanian, Pradeep Varakantham, Hoong Chuin Lau:
  Risk Based Optimization for Improving Emergency Medical Systems. 702-708
• 
  Hermann Schichl, Meinolf Sellmann:
  Predisaster Preparation of Transportation Networks. 709-715
• 
  Bochao Shen, Balakrishnan Narayanaswamy, Ravi Sundaram:
  SmartShift: Expanded Load Shifting Incentive Mechanism for Risk-Averse Consumers. 716-722
• 
  Adish Singla, Marco Santoni, Gábor Bartók, Pratik Mukerji, Moritz Meenen, Andreas Krause:
  Incentivizing Users for Balancing Bike Sharing Systems. 723-729
• 
  Xuan Song, Quanshi Zhang, Yoshihide Sekimoto, Ryosuke Shibasaki, Nicholas Jing Yuan, Xing Xie:
  A Simulator of Human Emergency Mobility Following Disasters: Knowledge Transfer from Big Disaster Data. 730-736
• 
  Alexander David Styler, Illah Reza Nourbakhsh:
  Real-Time Predictive Optimization for Energy Management in a Hybrid Electric Vehicle. 737-744

Game Playing and Interactive Entertainment

• 
  Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
  Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. 745-752
• 
  Quentin Galvane, Rémi Ronfard, Christophe Lino, Marc Christie:
  Continuity Editing for 3D Animation. 753-762

Game Theory and Economic Paradigms

• 
  Michael Albert, Vincent Conitzer, Giuseppe Lopomo:
  Assessing the Robustness of Cremer-McLean with Automated Mechanism Design. 763-769
• 
  Kareem Amin, Rachel Cummings, Lili Dworkin, Michael J. Kearns, Aaron Roth:
  Online Learning and Profit Maximization from Revealed Preferences. 770-776
• 
  Elliot Anshelevich, Onkar Bhardwaj, John Postl:
  Approximating Optimal Social Choice under Metric Preferences. 777-783
• 
  Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh:
  Justified Representation in Approval-Based Committee Voting. 784-790
• 
  Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha:
  Audit Games with Multiple Defender Resources. 791-797
• 
  Avrim Blum, Yishay Mansour, Jamie Morgenstern:
  Learning Valuation Distributions from Partial Observation. 798-804
• 
  Branislav Bosanský, Jiri Cermak:
  Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games. 805-811
• 
  Branislav Bosanský, Albert Xin Jiang, Milind Tambe, Christopher Kiekintveld:
  Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies. 812-818
• 
  Markus Brill, Vincent Conitzer:
  Strategic Voting and Strategic Candidacy. 819-826
• 
  Benedikt Bünz, Sven Seuken, Benjamin Lubin:
  A Faster Core Constraint Generation Algorithm for Combinatorial Auctions. 827-834
• 
  Mithun Chakraborty, Sanmay Das, Justin Peabody:
  Price Evolution in a Continuous Double Auction Prediction Market With a Scoring-Rule Based Market Maker. 835-841
• 
  Hau Chan, Luis E. Ortiz:
  Computing Nash Equilibrium in Interdependent Defense Games. 842-850
• 
  Yiling Chen, Kobbi Nissim, Bo Waggoner:
  Fair Information Sharing for Treasure Hunting. 851-857
• 
  John A. Doucette, Kate Larson, Robin Cohen:
  Conventional Machine Learning for Social Choice. 858-864
• 
  Edith Elkind, Piotr Faliszewski, Martin Lackner, Svetlana Obraztsova:
  The Complexity of Recognizing Incomplete Single-Crossing Preferences. 865-871
• 
  Uriel Feige, Michal Feldman, Nicole Immorlica, Rani Izsak, Brendan Lucier, Vasilis Syrgkanis:
  A Unifying Hierarchy of Valuations with Complements and Substitutes. 872-878
• 
  Michal Feldman, Ofir Geri:
  Do Capacity Constraints Constrain Coalitions? 879-885
• 
  Diodato Ferraioli, Carmine Ventre, Gabor Aranyi:
  A Mechanism Design Approach to Measure Awareness. 886-892
• 
  Aris Filos-Ratsikas, Minming Li, Jie Zhang, Qiang Zhang:
  Facility Location with Double-Peaked Preferences. 893-899
• 
  Rafael M. Frongillo, Yiling Chen, Ian A. Kash:
  Elicitation for Aggregation. 900-906
• 
  Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo:
  A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences. 907-913
• 
  Jiarui Gan, Bo An, Yevgeniy Vorobeychik:
  Security Games with Protection Externalities. 914-920
• 
  Chen Hajaj, John P. Dickerson, Avinatan Hassidim, Tuomas Sandholm, David Sarne:
  Strategy-Proof and Efficient Kidney Exchange Using a Credit Mechanism. 921-928
• 
  Martin Hoefer, Daniel Vaz, Lisa Wagner:
  Hedonic Coalition Formation in Networks. 929-935
• 
  Hadi Hosseini, Kate Larson, Robin Cohen:
  Matching with Dynamic Ordinal Preferences. 936-943
• 
  Anna Karlin, Eric Lei:
  On a Competitive Secretary Problem. 944-950
• 
  Ryoji Kurata, Masahiro Goto, Atsushi Iwasaki, Makoto Yokoo:
  Controlled School Choice with Soft Bounds and Overlapping Types. 951-957
• 
  Aron Laszka, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos:
  Optimal Personalized Filtering Against Spear-Phishing Attacks. 958-964
• 
  Hooyeon Lee, Yoav Shoham:
  Stable Invitations. 965-971
• 
  Omer Lev, Joel Oren, Craig Boutilier, Jeffrey S. Rosenschein:
  The Pricing War Continues: On Competitive Multi-Item Pricing. 972-978
• 
  Yuqian Li, Vincent Conitzer:
  Cooperative Game Solution Concepts that Maximize Stability under Noise. 979-985
• 
  Reshef Meir, David C. Parkes:
  Congestion Games with Distance-Based Strict Uncertainty. 986-992
• 
  Svetlana Obraztsova, Evangelos Markakis, Maria Polukarov, Zinovi Rabinovich, Nicholas R. Jennings:
  On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be? 993-999
• 
  Ariel D. Procaccia, Nisarg Shah, Yair Zick:
  Voting Rules As Error-Correcting Codes. 1000-1006
• 
  Zinovi Rabinovich, Svetlana Obraztsova, Omer Lev, Evangelos Markakis, Jeffrey S. Rosenschein:
  Analysis of Equilibria in Iterative Voting Schemes. 1007-1013
• 
  Goran Radanovic, Boi Faltings:
  Incentives for Subjective Evaluations with Private Beliefs. 1014-1020
• 
  Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:
  Envy-Free Cake-Cutting in Two Dimensions. 1021-1028
• 
  Paolo Serafino, Carmine Ventre:
  Truthful Mechanisms without Money for Non-Utilitarian Heterogeneous Facility Location. 1029-1035
• 
  Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael Wooldridge, Makoto Yokoo:
  A Graphical Representation for Games in Partition Function Form. 1036-1042
• 
  Rohith Dwarakanath Vallam, Priyanka Bhatt, Debmalya Mandal, Y. Narahari:
  A Stackelberg Game Approach for Incentivizing Participation in Online Educational Forums with Heterogeneous Student Population. 1043-1049
• 
  Mason Wright, Yevgeniy Vorobeychik:
  Mechanism Design for Team Formation. 1050-1056
• 
  Haifeng Xu, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe:
  Exploring Information Asymmetry in Two-Stage Security Games. 1057-1063
• 
  Dengji Zhao, Sarvapali D. Ramchurn, Enrico H. Gerding, Nicholas R. Jennings:
  Balanced Trade Reduction for Dual-Role Exchange Markets. 1064-1070
• 
  Song Zuo, Pingzhong Tang:
  Optimal Machine Strategies to Commit to in Two-Person Repeated Games. 1071-1078

Heuristic Search and Optimization

• 
  Hiromasa Arai, Crystal Maung, Haim Schweitzer:
  Optimal Column Subset Selection by A-Star Search. 1079-1085
• 
  Joseph Kelly Barker, Richard E. Korf:
  Limitations of Front-To-End Bidirectional Heuristic Search. 1086-1092
• 
  Nawal Benabbou, Patrice Perny:
  Incremental Weight Elicitation for Multiobjective State Space Search. 1093-1099
• 
  Adi Botea, Ben Strasser, Daniel Harabor:
  Complexity Results for Compressing Optimal Paths. 1100-1106
• 
  Shaowei Cai, Jinkun Lin, Kaile Su:
  Two Weighting Local Search for Minimum Vertex Cover. 1107-1113
• 
  Katharina Eggensperger, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
  Efficient Benchmarking of Hyperparameter Optimizers via Surrogates. 1114-1120
• 
  Caroline Even, Victor Pillac, Pascal Van Hentenryck:
  Convergent Plans for Large-Scale Evacuations. 1121-1127
• 
  Matthias Feurer, Jost Tobias Springenberg, Frank Hutter:
  Initializing Bayesian Hyperparameter Optimization via Meta-Learning. 1128-1135
• 
  Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi:
  Stochastic Local Search for Satisfiability Modulo Theories. 1136-1143
• 
  Daisuke Hatano, Takuro Fukunaga, Takanori Maehara, Ken-ichi Kawarabayashi:
  Lagrangian Decomposition Algorithm for Allocating Marketing Channels. 1144-1150
• 
  Matthew Hatem, Scott Kiesel, Wheeler Ruml:
  Recursive Best-First Search with Bounded Overhead. 1151-1157
• 
  Carlos Hernández, Roberto Asín, Jorge A. Baier:
  Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain. 1158-1164
• 
  Bojun Huang:
  Pruning Game Tree by Rollouts. 1165-1173
• 
  Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
  Solving Distributed Constraint Optimization Problems Using Logic Programming. 1174-1181
• 
  Tyler Lu, Craig Boutilier:
  Value-Directed Compression of Large-Scale Assignment Problems. 1182-1190
• 
  Jincheng Mei, Kang Zhao, Bao-Liang Lu:
  On Unconstrained Quasi-Submodular Function Optimization. 1191-1197
• 
  Seyed Hamid Mirisaee, Éric Gaussier, Alexandre Termier:
  Improved Local Search for Binary Matrix Factorization. 1198-1204
• 
  Hossein Mobahi, John W. Fisher III:
  A Theoretical Analysis of Optimization by Gaussian Continuation. 1205-1211
• 
  Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet:
  Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. 1212-1218
• 
  Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata:
  BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. 1219-1225
• 
  Shunji Umetani:
  Exploiting Variable Associations to Configure Efficient Local Search in Large-Scale Set Partitioning Problems. 1226-1232
• 
  Emre Yamangil, Russell Bent, Scott Backhaus:
  Resilient Upgrade of Electrical Distribution Grids. 1233-1240
• 
  Yeqin Zhang, Martin Müller:
  TDS+: Improving Temperature Discovery Search. 1241-1247
• 
  Yichao Zhou, Jianyang Zeng:
  Massively Parallel A* Search on a GPU. 1248-1255

Human-Computation and Crowd Sourcing

• 
  Praphul Chandra, Yadati Narahari, Debmalya Mandal, Prasenjit Dey:
  Novel Mechanisms for Online Crowdsourcing with Unreliable, Strategic Agents. 1256-1262
• 
  Preethi Jyothi, Mark Hasegawa-Johnson:
  Acquiring Speech Transcriptions Using Mismatched Crowdsourcing. 1263-1269
• 
  Yuezhou Lv, Thomas Moscibroda:
  Incentive Networks. 1270-1276
• 
  Diego Noble, Marcelo O. R. Prates, Daniel Bossle, Luís C. Lamb:
  Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. 1277-1283
• 
  David Sanchez-Charles, Victor Muntés-Mulero, Marc Solé, Jordi Nin:
  CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets. 1284-1290
• 
  Nihar B. Shah, Dengyong Zhou:
  On the Impossibility of Convex Inference in Human Computation. 1291-1297
• 
  Long Tran-Thanh, Trung Dong Huynh, Avi Rosenfeld, Sarvapali D. Ramchurn, Nicholas R. Jennings:
  Crowdsourcing Complex Workflows under Budget Constraints. 1298-1304
• 
  Han Yu, Chunyan Miao, Zhiqi Shen, Cyril Leung, Yiqiang Chen, Qiang Yang:
  Efficient Task Sub-Delegation for Crowdsourcing. 1305-1312

Humans and AI

• 
  Avshalom Elmalech, David Sarne, Avi Rosenfeld, Eden Shalom Erez:
  When Suboptimal Rules. 1313-1319
• 
  Ariel Rosenfeld, Sarit Kraus:
  Providing Arguments in Discussions Based on the Prediction of Human Argumentative Behavior. 1320-1327
• 
  Biqiao Zhang, Emily Mower Provost, Robert Swedberg, Georg Essl:
  Predicting Emotion Perception Across Domains: A Study of Singing and Speaking. 1328-1335

Integrated Systems

• 
  Abdeslam Boularias, James Andrew Bagnell, Anthony Stentz:
  Learning to Manipulate Unknown Objects in Clutter by Reinforcement. 1336-1342
• 
  Goren Gordon, Cynthia Breazeal:
  Bayesian Active Learning-Based Robot Tutor for Children's Word-Reading Skills. 1343-1349
• 
  GeunSik Jo, Kee-Sung Lee, Devy Chandra, Chol-Hee Jang, Myung-Hyun Ga:
  RANSAC versus CS-RANSAC. 1350-1356
• 
  Jaume Jordán, Eva Onaindia:
  Game-Theoretic Approach for Non-Cooperative Planning. 1357-1363
• 
  KinMing Kam, Shouyi Wang, Stephen R. Bowen, Wanpracha Art Chaovalitwongse:
  Pattern-Based Variant-Best-Neighbors Respiratory Motion Prediction Using Orthogonal Polynomials Approximation. 1364-1370
• 
  Jean H. Oh, Arne Suppé, Felix Duvallet, Abdeslam Boularias, Luis E. Navarro-Serment, Martial Hebert, Anthony Stentz, Jerry Vinokurov, Oscar J. Romero, Christian Lebiere, Robert Dean:
  Toward Mobile Robots Reasoning Like Humans. 1371-1379
• 
  Carlotta Schatten, Ruth Janning, Lars Schmidt-Thieme:
  Integration and Evaluation of a Matrix Factorization Sequencer in Large Commercial ITS. 1380-1386
• 
  Tom Williams, Gordon Briggs, Bradley Oosterveld, Matthias Scheutz:
  Going Beyond Literal Command-Based Instructions: Extending Robotic Natural Language Interaction Capabilities. 1387-1393
• 
  Shiqi Zhang, Peter Stone:
  CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot. 1394-1400
• 
  Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz:
  Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. 1401-1409

Knowledge Representation and Reasoning

• 
  Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:
  Ontology Module Extraction via Datalog Reasoning. 1410-1416
• 
  Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
  Tractable Interval Temporal Propositional and Description Logics. 1417-1423
• 
  Joseph Babb, Joohyung Lee:
  Action Language BC+: Preliminary Report. 1424-1430
• 
  Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink:
  LARS: A Logic-Based Framework for Analyzing Reasoning over Streams. 1431-1438
• 
  Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang:
  Partial Meet Revision and Contraction in Logic Programs. 1439-1445
• 
  Alexander Bochman, Vladimir Lifschitz:
  Pearl's Causality in a Logical Setting. 1446-1452
• 
  Bart Bogaerts, Joost Vennekens, Marc Denecker:
  Grounded Fixpoints. 1453-1459
• 
  Adrian Boteanu, Sonia Chernova:
  Solving and Explaining Analogy Questions Using Semantic Networks. 1460-1466
• 
  Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub:
  asprin: Customizing Answer Set Preferences without a Headache. 1467-1474
• 
  Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou:
  Exploiting Parallelism for Hard Problems in Abstract Argumentation. 1475-1481
• 
  James P. Delgrande, Kewen Wang:
  A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs. 1482-1488
• 
  Jianfeng Du, Kewen Wang, Yi-Dong Shen:
  Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. 1489-1495
• 
  Xiuyi Fan, Francesca Toni:
  On Computing Explanations in Argumentation. 1496-1502
• 
  Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin:
  Parallelized Hitting Set Computation for Model-Based Diagnosis. 1503-1510
• 
  Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan:
  Splitting a Logic Program Revisited. 1511-1517
• 
  Jianmin Ji, Hai Wan, Peng Xiao:
  On Elementary Loops and Proper Loops for Disjunctive Logic Programs. 1518-1524
• 
  Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc:
  XPath for DL Ontologies. 1525-1531
• 
  Yuliya Lierler, Miroslaw Truszczynski:
  An Abstract View on Modularity in Knowledge Representation. 1532-1538
• 
  Xudong Liu, Miroslaw Truszczynski:
  Learning Partial Lexicographic Preference Trees over Combinatorial Domains. 1539-1545
• 
  Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari:
  From Classical to Consistent Query Answering under Existential Rules. 1546-1552
• 
  Hua Meng, Hui Kou, Sanjiang Li:
  Belief Revision with General Epistemic States. 1553-1559
• 
  Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
  Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. 1560-1568
• 
  Claudia Schulz, Francesca Toni:
  Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation. 1569-1575
• 
  Anika Schumann, Freddy Lécué:
  Minimizing User Involvement for Accurate Ontology Matching Problems. 1576-1582
• 
  Christoph Schwering, Gerhard Lakemeyer:
  Projection in the Epistemic Situation Calculus with Belief Conditionals. 1583-1589
• 
  Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
  Belief Revision Games. 1590-1596
• 
  Kostyantyn M. Shchekotykhin:
  Interactive Query-Based Debugging of ASP Programs. 1597-1603
• 
  Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
  Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. 1604-1610
• 
  Giorgio Stefanoni, Boris Motik:
  Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. 1611-1617
• 
  Roni Tzvi Stern, Meir Kalech, Shelly Rogov, Alexander Feldman:
  How Many Diagnoses Do We Need? 1618-1624
• 
  Hannes Strass:
  The Relative Expressiveness of Abstract Argumentation and Logic Programming. 1625-1631
• 
  Akshaya Thippur, Chris Burbridge, Lars Kunze, Marina Alberti, John Folkesson, Patric Jensfelt, Nick Hawes:
  A Comparison of Qualitative and Metric Spatial Relation Models for Scene Understanding. 1632-1640
• 
  Guy Van den Broeck, Adnan Darwiche:
  On the Role of Canonicity in Knowledge Compilation. 1641-1648
• 
  Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang:
  Knowledge Forgetting in Circumscription: A Preliminary Report. 1649-1655
• 
  Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi:
  Instance-Driven Ontology Evolution in DL-Lite. 1656-1662
• 
  Fei Wu, Jun Song, Yi Yang, Xi Li, Zhongfei (Mark) Zhang, Yueting Zhuang:
  Structured Embedding via Pairwise Relations and Long-Range Interactions in Knowledge Base. 1663-1670
• 
  Dongmo Zhang, Michael Thielscher:
  A Logic for Reasoning About Game Strategies. 1671-1677
• 
  Heng Zhang, Yan Zhang, Jia-Huai You:
  Existential Rule Languages with Finite Chase: Complexity and Expressiveness. 1678-1685

Machine Learning Applications

• 
  Sachinthaka Abeywardana, Fabio Ramos:
  Variational Inference for Nonparametric Bayesian Quantile Regression. 1686-1692
• 
  Ognjen Arandjelovic:
  Sample-Targeted Clinical Trial Adaptation. 1693-1699
• 
  Sarah Marie Brown, Andrea Webb, Rami Mangoubi, Jennifer G. Dy:
  A Sparse Combined Regression-Classification Formulation for Learning a Physiological Alternative to Clinical Post-Traumatic Stress Disorder Scores. 1700-1706
• 
  Zheng Chen, Minmin Chen, Kilian Q. Weinberger, Weixiong Zhang:
  Marginalized Denoising for Link Prediction and Multi-Label Learning. 1707-1713
• 
  Xin-Yu Dai, Jianbing Zhang, Shujian Huang, Jiajun Chen, Zhi-Hua Zhou:
  Structured Sparsity with Group-Graph Regularization. 1714-1720
• 
  Huiji Gao, Jiliang Tang, Xia Hu, Huan Liu:
  Content-Aware Point of Interest Recommendation on Location-Based Social Networks. 1721-1727
• 
  Matthew Gingerich, Cristina Conati:
  Constructing Models of User and Task Characteristics from Eye Gaze Data for User-Adaptive Information Highlighting. 1728-1734
• 
  Anshul Gupta, Ricardo Gutierrez-Osuna, Matthew Christy, Boris Capitanu, Loretta Auvil, Liz Grumbach, Richard Furuta, Laura Mandell:
  Automatic Assessment of OCR Quality in Historical Documents. 1735-1741
• 
  Nils Yannick Hammerla, James Fisher, Peter Andras, Lynn Rochester, Richard Walker, Thomas Ploetz:
  PD Disease State Assessment in Naturalistic Environments Using Deep Learning. 1742-1748
• 
  Jiazhen He, James Bailey, Benjamin I. P. Rubinstein, Rui Zhang:
  Identifying At-Risk Students in Massive Open Online Courses. 1749-1755
• 
  Mohamed Hamza Ibrahim, Christopher J. Pal, Gilles Pesant:
  Exploiting Determinism to Scale Relational Inference. 1756-1762
• 
  Been Kim, Kayur Patel, Afshin Rostamizadeh, Julie A. Shah:
  Scalable and Interpretable Data Representation for High-Dimensional, Complex Data. 1763-1769
• 
  Phillip B. Kirlin, David D. Jensen:
  Learning to Uncover Deep Musical Structure. 1770-1776
• 
  Thomas A. Lasko:
  Nonstationary Gaussian Process Regression for Evaluating Repeated Clinical Laboratory Tests. 1777-1783
• 
  Qing Li, LiLing Jiang, Ping Li, Hsinchun Chen:
  Tensor-Based Learning for Predicting Stock Movements. 1784-1790
• 
  Zhe Lim, Benjamin I. P. Rubinstein:
  Sub-Merge: Diving Down to the Attribute-Value Level in Statistical Schema Matching. 1791-1797
• 
  Zitao Liu, Milos Hauskrecht:
  A Regularized Linear Dynamical System Framework for Multivariate Time Series Analysis. 1798-1804
• 
  Canyi Lu, Changbo Zhu, Chunyan Xu, Shuicheng Yan, Zhouchen Lin:
  Generalized Singular Value Thresholding. 1805-1811
• 
  Baharan Mirzasoleiman, Ashwinkumar Badanidiyuru, Amin Karbasi, Jan Vondrák, Andreas Krause:
  Lazier Than Lazy Greedy. 1812-1818
• 
  George D. Montanez, Saeed Amizadeh, Nikolay Laptev:
  Inertial Hidden Markov Models: Modeling Change in Multivariate Time Series. 1819-1825
• 
  Richard Jayadi Oentaryo, Stephanus Daniel Handoko, Hoong Chuin Lau:
  Algorithm Selection via Ranking. 1826-1832
• 
  Buyue Qian, Xiang Wang, Ian Davidson:
  Propagating Ranking Functions on a Graph: Algorithms and Applications. 1833-1839
• 
  Jimmy S. J. Ren, Li Xu:
  On Vectorization of Deep Convolutional Neural Networks for Vision Tasks. 1840-1846
• 
  Pedro Henrique Santana, Spencer Lane, Eric Timmons, Brian Charles Williams, Carlos Forster:
  Learning Hybrid Models with Guarded Transitions. 1847-1853
• 
  Weiwei Shen, Jun Wang:
  Transaction Costs-Aware Portfolio Optimization via Fast Lowner-John Ellipsoid Approximation. 1854-1860
• 
  Can Wang, Chi-Hung Chi, Wei Zhou, Raymond K. Wong:
  Coupled Interdependent Attribute Analysis on Mixed Data. 1861-1867
• 
  Xin Wang, Ying Wang, Wanli Zuo, Guoyong Cai:
  Exploring Social Context for Topic Identification in Short and Noisy Texts. 1868-1874
• 
  Ying Wang, Xin Wang, Jiliang Tang, Wanli Zuo, Guoyong Cai:
  Modeling Status Theory in Trust Prediction. 1875-1881
• 
  Lan Wei, Yonghong Tian, Yaowei Wang, Tiejun Huang:
  Swiss-System Based Cascade Ranking for Gait-Based Person Re-Identification. 1882-1888
• 
  Eric Wong, J. Zico Kolter:
  An SVD and Derivative Kernel Approach to Learning from Geometric Data. 1889-1895
• 
  Pengtao Xie, Yulong Pei, Yuan Xie, Eric P. Xing:
  Mining User Interests from Personal Photos. 1896-1902
• 
  Pengtao Xie, Eric P. Xing:
  Integrating Image Clustering and Codebook Learning. 1903-1909
• 
  Bo Xin, Lingjing Hu, Yizhou Wang, Wen Gao:
  Stable Feature Selection from Brain sMRI. 1910-1916
• 
  Xin Xin, Chunwei Lu, Yashen Wang, Heyan Huang:
  Forecasting Collector Road Speeds Under High Percentage of Missing Data. 1917-1923
• 
  Chang Xu, Dacheng Tao, Chao Xu:
  Large-Margin Multi-Label Causal Feature Learning. 1924-1930
• 
  Linli Xu, Aiqing Huang, Jianhui Chen, Enhong Chen:
  Exploiting Task-Feature Co-Clusters in Multi-Task Learning. 1931-1937
• 
  Linli Xu, Yitan Li, Yubo Wang, Enhong Chen:
  Temporally Adaptive Restricted Boltzmann Machine for Background Modeling. 1938-1944
• 
  Junchi Yan, Chao Zhang, Hongyuan Zha, Min Gong, Changhua Sun, Jin Huang, Stephen M. Chu, Xiaokang Yang:
  On Machine Learning towards Predictive Sales Pipeline Analytics. 1945-1951
• 
  Bo Yang, Xuehua Zhao, Xueyan Liu:
  Bayesian Approach to Modeling and Detecting Communities in Signed Network. 1952-1958
• 
  Quanming Yao, James T. Kwok:
  Colorization by Patch-Based Local Low-Rank Matrix Completion. 1959-1965
• 
  Shandian Zhe, Zenglin Xu, Yuan Qi, Peng Yu:
  Sparse Bayesian Multiview Learning for Simultaneous Association Discovery and Diagnosis of Alzheimer's Disease. 1966-1972
• 
  Shuai Zheng, Xiao Cai, Chris H. Q. Ding, Feiping Nie, Heng Huang:
  A Closed Form Solution to Multi-View Low-Rank Regression. 1973-1979
• 
  Xiaowei Zhong, Linli Xu, Yitan Li, Zhiyuan Liu, Enhong Chen:
  A Nonconvex Relaxation Approach for Rank Minimization Problems. 1980-1987

Multiagent Systems

• 
  Stefano Vittorino Albrecht, Jacob William Crandall, Subramanian Ramamoorthy:
  An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types. 1988-1994
• 
  Christopher Amato, Frans A. Oliehoek:
  Scalable Planning and Learning for Multiagent POMDPs. 1995-2002
• 
  Ofra Amir, Guni Sharon, Roni Stern:
  Multi-Agent Pathfinding as a Combinatorial Auction. 2003-2009
• 
  Samuel Barrett, Peter Stone:
  Cooperating with Unknown Teammates in Complex Domains: A Robot Soccer Case Study of Ad Hoc Teamwork. 2010-2016
• 
  Rahmatollah Beheshti, Awrad Mohammed Ali, Gita Reese Sukthankar:
  Cognitive Social Learners: An Architecture for Modeling Normative Behavior. 2017-2023
• 
  Adi Botea, Pavel Surynek:
  Multi-Agent Path Finding on Strongly Biconnected Digraphs. 2024-2030
• 
  Diego Calvanese, Giorgio Delzanno, Marco Montali:
  Verification of Relational Multiagent Systems with Data Types. 2031-2037
• 
  Petr Cermák, Alessio Lomuscio, Aniello Murano:
  Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications. 2038-2044
• 
  Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon:
  Elections with Few Voters: Candidate Control Can Be Easy. 2045-2051
• 
  Amit K. Chopra, Munindar P. Singh:
  Cupid: Commitments in Relational Algebra. 2052-2059
• 
  Akin Günay, Songzheng Song, Yang Liu, Jie Zhang:
  Automated Analysis of Commitment Protocols Using Probabilistic Model Checking. 2060-2066
• 
  Mohammad Rashedul Hasan, Anita Raja, Ana L. C. Bazzan:
  Fast Convention Formation in Dynamic Networks Using Topological Knowledge. 2067-2073
• 
  Daisuke Hatano, Yuichi Yoshida:
  Distributed Multiplicative Weights Methods for DCOP. 2074-2080
• 
  Panagiotis Kouvaros, Alessio Lomuscio:
  A Counter Abstraction Technique for the Verification of Robot Swarms. 2081-2088
• 
  Haifang Li, Fei Tian, Wei Chen, Tao Qin, Zhiming Ma, Tie-Yan Liu:
  Generalization Analysis for Game-Theoretic Machine Learning. 2089-2095
• 
  Patrick MacAlpine, Eric Price, Peter Stone:
  SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-Makespan for Formational Positioning. 2096-2102
• 
  Reshef Meir:
  Plurality Voting Under Uncertainty. 2103-2109
• 
  Ernesto Nunes, Maria L. Gini:
  Multi-Robot Auctions for Allocation of Tasks with Temporal Constraints. 2110-2116
• 
  Luke Riley, Katie Atkinson, Paul E. Dunne, Terry R. Payne:
  Distributing Coalition Value Calculations to Coalition Members. 2117-2123
• 
  Piotr Krzysztof Skowron, Piotr Faliszewski:
  Fully Proportional Representation with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time. 2124-2130
• 
  Piotr Krzysztof Skowron, Piotr Faliszewski, Jérôme Lang:
  Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation. 2131-2137
• 
  Kevin Waugh, Dustin Morrill, James Andrew Bagnell, Michael H. Bowling:
  Solving Games with Functional Regret Estimation. 2138-2145

NLP and Knowledge Representation

• 
  Danushka Bollegala, Takanori Maehara, Yuichi Yoshida, Ken-ichi Kawarabayashi:
  Learning Word Representations from Relational Graphs. 2146-2152
• 
  Ziqiang Cao, Furu Wei, Li Dong, Sujian Li, Ming Zhou:
  Ranking with Recursive Neural Networks and Its Application to Multi-Document Summarization. 2153-2159
• 
  Song Feng, Sujith Ravi, Ravi Kumar, Polina Kuznetsova, Wei Liu, Alexander C. Berg, Tamara L. Berg, Yejin Choi:
  Refer-to-as Relations as Semantic Knowledge. 2160-2166
• 
  Rahul Jha, Reed Coke, Dragomir R. Radev:
  Surveyor: A System for Generating Coherent Survey Articles for Scientific Topics. 2167-2173
• 
  Khang Nhut Lam, Feras Al Tarouti, Jugal K. Kalita:
  Automatically Creating a Large Number of New Bilingual Dictionaries. 2174-2180
• 
  Yankai Lin, Zhiyuan Liu, Maosong Sun, Yang Liu, Xuan Zhu:
  Learning Entity and Relation Embeddings for Knowledge Graph Completion. 2181-2187
• 
  Zhaohui Wu, C. Lee Giles:
  Sense-Aaware Semantic Analysis: A Multi-Prototype Word Representation Model Using Wikipedia. 2188-2194
• 
  Yu Zhao, Zhiyuan Liu, Maosong Sun:
  Phrase Type Sensitive Tensor Indexing Model for Semantic Composition. 2195-2202

NLP and Machine Learning

• 
  Zsolt Bitvai, Trevor Cohn:
  Predicting Peer-to-Peer Loan Rates Using Bayesian Non-Linear Regression. 2203-2209
• 
  Ziqiang Cao, Sujian Li, Yang Liu, Wenjie Li, Heng Ji:
  A Novel Neural Topic Model and Its Supervised Extension. 2210-2216
• 
  Devendra Singh Chaplot, Pushpak Bhattacharyya, Ashwin Paranjape:
  Unsupervised Word Sense Disambiguation Using Markov Random Field and Dependency Parser. 2217-2223
• 
  Xingyuan Chen, Yunqing Xia, Peng Jin, John A. Carroll:
  Dataless Text Classification with Descriptive LDA. 2224-2231
• 
  Lan Du, John K. Pate, Mark Johnson:
  Topic Segmentation with an Ordering-Based Topic Model. 2232-2238
• 
  Simone Filice, Danilo Croce, Roberto Basili:
  A Stratified Strategy for Efficient Kernel-Based Learning. 2239-2245
• 
  Dan Garrette, Chris Dyer, Jason Baldridge, Noah A. Smith:
  Weakly-Supervised Grammar-Informed Bayesian CCG Parser Learning. 2246-2252
• 
  Dishan Gupta, Jaime G. Carbonell, Anatole Gershman, Steve Klein, David Miller:
  Unsupervised Phrasal Near-Synonym Generation from Text Corpora. 2253-2259
• 
  Seungyeon Kim, Joonseok Lee, Guy Lebanon, Haesun Park:
  Local Context Sparse Coding. 2260-2266
• 
  Siwei Lai, Liheng Xu, Kang Liu, Jun Zhao:
  Recurrent Convolutional Neural Networks for Text Classification. 2267-2273
• 
  Emmanuel Lassalle, Pascal Denis:
  Joint Anaphoricity Detection and Coreference Resolution with Constrained Latent Structures. 2274-2280
• 
  Junyi Jessy Li, Ani Nenkova:
  Fast and Accurate Prediction of Sentence Specificity. 2281-2287
• 
  Changsong Liu, Joyce Yue Chai:
  Learning to Mediate Perceptual Differences in Situated Human-Robot Dialogue. 2288-2294
• 
  Yang Liu, Maosong Sun:
  Contrastive Unsupervised Word Alignment with Non-Local Features. 2295-2301
• 
  Tom M. Mitchell, William W. Cohen, Estevam R. Hruschka Jr., Partha Pratim Talukdar, Justin Betteridge, Andrew Carlson, Bhavana Dalvi Mishra, Matthew Gardner, Bryan Kisiel, Jayant Krishnamurthy, Ni Lao, Kathryn Mazaitis, Thahir Mohamed, Ndapandula Nakashole, Emmanouil A. Platanios, Alan Ritter, Mehdi Samadi, Burr Settles, Richard C. Wang, Derry Wijaya, Abhinav Gupta, Xinlei Chen, Abulhair Saparov, Malcolm Greaves, Joel Welling:
  Never-Ending Learning. 2302-2310
• 
  Yanchuan Sim, Bryan R. Routledge, Noah A. Smith:
  The Utility of Text: The Case of Amicus Briefs and the Supreme Court. 2311-2317
• 
  Andrei Arsene Simion, Michael Collins, Cliff Stein:
  A Family of Latent Variable Convex Relaxations for IBM Model 2. 2318-2324
• 
  Svitlana Volkova, Benjamin Van Durme:
  Online Bayesian Models for Personal Analytics in Social Media. 2325-2331
• 
  Fangzhao Wu, Yangqiu Song, Yongfeng Huang:
  Microblog Sentiment Classification with Contextual Knowledge Regularization. 2332-2338
• 
  Jun Xie, Chao Ma, Janardhan Rao Doppa, Prashanth Mannem, Xiaoli Z. Fern, Thomas G. Dietterich, Prasad Tadepalli:
  Learning Greedy Policies for the Easy-First Framework. 2339-2345
• 
  Ran Xu, Caiming Xiong, Wei Chen, Jason J. Corso:
  Jointly Modeling Deep Video and Compositional Text to Bridge Vision and Language in a Unified Framework. 2346-2352
• 
  Min Yang, Tianyi Cui, Wenting Tu:
  Ordering-Sensitive and Semantic-Aware Topic Modeling. 2353-2360

NLP and Text Mining

• 
  Hadi Amiri, Hal Daumé III:
  Target-Dependent Churn Classification in Microblogs. 2361-2367
• 
  Wei-Te Chen, Claire Bonial, Martha Palmer:
  English Light Verb Construction Identification Using Lexical Knowledge. 2368-2374
• 
  Chen Chen, Vincent Ng:
  Chinese Common Noun Phrase Resolution: An Unsupervised Probabilistic Model Rivaling Supervised Resolvers. 2375-2381
• 
  Grant DeLozier, Jason Baldridge, Loretta London:
  Gazetteer-Independent Toponym Resolution Using Geographic Word Profiles. 2382-2388
• 
  Xiao Ding, Ting Liu, Junwen Duan, Jian-Yun Nie:
  Mining User Consumption Intention from Social Media Using Domain Adaptive Convolutional Neural Network. 2389-2395
• 
  Chikara Hashimoto, Kentaro Torisawa, Julien Kloetzer, Jong-Hoon Oh:
  Generating Event Causality Hypotheses through Semantic Relations. 2396-2403
• 
  Wenyi Huang, Zhaohui Wu, Liang Chen, Prasenjit Mitra, C. Lee Giles:
  A Neural Probabilistic Model for Context Based Citation Recommendation. 2404-2410
• 
  Huayi Li, Arjun Mukherjee, Jianfeng Si, Bing Liu:
  Extracting Verb Expressions Implying Negative Opinions. 2411-2417
• 
  Yang Liu, Zhiyuan Liu, Tat-Seng Chua, Maosong Sun:
  Topical Word Embeddings. 2418-2424
• 
  Yassine Mrabet, Claire Gardent, Muriel Foulonneau, Elena Simperl, Eric Ras:
  Towards Knowledge-Driven Annotation. 2425-2431
• 
  Ashequl Qadir, Pablo N. Mendes, Daniel Gruhl, Neal Lewis:
  Semantic Lexicon Induction from Twitter with Pattern Relatedness and Flexible Term Length. 2432-2439
• 
  Likun Qiu, Yue Zhang:
  Word Segmentation for Chinese Novels. 2440-2446
• 
  Anders Søgaard, Barbara Plank, Héctor Martínez Alonso:
  Using Frame Semantics for Knowledge Extraction from Twitter. 2447-2452
• 
  Jiwei Tan, Xiaojun Wan, Jianguo Xiao:
  Learning to Recommend Quotes for Writing. 2453-2459
• 
  Andrew Yates, Nazli Goharian, Ophir Frieder:
  Extracting Adverse Drug Reactions from Social Media. 2460-2467
• 
  Deyu Zhou, Liangyu Chen, Yulan He:
  An Unsupervised Framework of Exploring Events on Twitter: Filtering, Extraction and Categorization. 2468-2475

Novel Machine Learning Algorithms

• 
  Tameem Adel, Alexander Wong:
  A Probabilistic Covariate Shift Assumption for Domain Adaptation. 2476-2482
• 
  Ibrahim M. Alabdulmohsin, Xin Gao, Xiangliang Zhang:
  Efficient Active Learning of Halfspaces via Query Synthesis. 2483-2489
• 
  Kareem Amin, Satyen Kale, Gerald Tesauro, Deepak S. Turaga:
  Budgeted Prediction with Expert Advice. 2490-2496
• 
  Olov Andersson, Fredrik Heintz, Patrick Doherty:
  Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization. 2497-2503
• 
  Haitham Bou-Ammar, Eric Eaton, Paul Ruvolo, Matthew E. Taylor:
  Unsupervised Cross-Domain Transfer in Policy Gradient Reinforcement Learning via Manifold Alignment. 2504-2510
• 
  Thomas Boucher, C. J. Carey, Sridhar Mahadevan, Melinda Darby Dyar:
  Aligning Mixed Manifolds. 2511-2517
• 
  Wei Cao, Liang Hu, Longbing Cao:
  Deep Modeling Complex Couplings within Financial Markets. 2518-2524
• 
  Kai-Wei Chang, Shyam Upadhyay, Gourab Kundu, Dan Roth:
  Structural Learning with Amortized Inference. 2525-2531
• 
  Xiaojun Chang, Feiping Nie, Zhigang Ma, Yi Yang, Xiaofang Zhou:
  A Convex Formulation for Spectral Shrunk Clustering. 2532-2538
• 
  Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi:
  Learning Relational Kalman Filtering. 2539-2546
• 
  Ujjwal Das Gupta, Erik Talvitie, Michael Bowling:
  Policy Tree: Adaptive Representation for Policy Gradient. 2547-2553
• 
  Charanpal Dhanjal, Romaric Gaudel, Stéphan Clémençon:
  Collaborative Filtering with Localised Ranking. 2554-2560
• 
  Hu Ding, Jinhui Xu:
  Random Gradient Descent Tree: A Combinatorial Approach for SVM with Outliers. 2561-2567
• 
  Yi Ding, Peilin Zhao, Steven C. H. Hoi, Yew-Soon Ong:
  An Adaptive Gradient Method for Online AUC Maximization. 2568-2574
• 
  Finale Doshi-Velez, Byron C. Wallace, Ryan P. Adams:
  Graph-Sparse LDA: A Topic Model with Structured Sparsity. 2575-2581
• 
  Changying Du, Shandian Zhe, Fuzhen Zhuang, Yuan Qi, Qing He, Zhongzhi Shi:
  Bayesian Maximum Margin Principal Component Analysis. 2582-2588
• 
  Jun Du, Zhihua Cai:
  Modelling Class Noise with Symmetric and Asymmetric Distributions. 2589-2595
• 
  Zhouyu Fu, Feifei Pan, Cheng Deng, Wei Liu:
  Optimizing Bag Features for Multiple-Instance Retrieval. 2596-2602
• 
  Longwen Gao, Shuigeng Zhou:
  Learning Sparse Representations from Datasets with Uncertain Group Structures: Model, Algorithm and Applications. 2603-2609
• 
  Debarghya Ghoshdastidar, Ambedkar Dukkipati:
  Spectral Clustering Using Multilinear SVD: Analysis, Approximations and Applications. 2610-2616
• 
  Maxim Grechkin, Maryam Fazel, Daniela M. Witten, Su-In Lee:
  Pathway Graphical Lasso. 2617-2623
• 
  Zhaohan Guo, Emma Brunskill:
  Concurrent PAC RL. 2624-2630
• 
  Lei Han, Yu Zhang:
  Discriminative Feature Grouping. 2631-2637
• 
  Lei Han, Yu Zhang:
  Learning Multi-Level Task Groups in Multi-Task Learning. 2638-2644
• 
  Kazuo Hara, Ikumi Suzuki, Masashi Shimbo, Kei Kobayashi, Kenji Fukumizu, Milos Radovanovic:
  Localized Centering: Reducing Hubness in Large-Sample Data. 2645-2651
• 
  Anna Harutyunyan, Sam Devlin, Peter Vrancx, Ann Nowé:
  Expressing Arbitrary Reward Functions as Potential-Based Advice. 2652-2658
• 
  Wei-Ning Hsu, Hsuan-Tien Lin:
  Active Learning by Learning. 2659-2665
• 
  Junjie Hu, Haiqin Yang, Irwin King, Michael R. Lyu, Anthony Man-Cho So:
  Kernelized Online Imbalanced Learning with Fixed Budgets. 2666-2672
• 
  De-An Huang, Amir-massoud Farahmand, Kris M. Kitani, James Andrew Bagnell:
  Approximate MaxEnt Inverse Optimal Control and Its Application for Mental Simulation of Human Interactions. 2673-2679
• 
  Gao Huang, Jianwen Zhang, Shiji Song, Zheng Chen:
  Maximin Separation Probability Clustering. 2680-2686
• 
  Rui Huang, Fengyuan Zhu, Pheng-Ann Heng:
  The Dynamic Chinese Restaurant Process via Birth and Death Processes. 2687-2693
• 
  Lu Jiang, Deyu Meng, Qian Zhao, Shiguang Shan, Alexander G. Hauptmann:
  Self-Paced Curriculum Learning. 2694-2700
• 
  Itamar Katz, Koby Crammer:
  Outlier-Robust Convex Segmentation. 2701-2707
• 
  Nathaniel Korda, Prashanth L. A., Rémi Munos:
  Fast Gradient Descent for Drifting Least Squares Regression, with Application to Bandits. 2708-2714
• 
  Alex Kulesza, Nan Jiang, Satinder P. Singh:
  Spectral Learning of Predictive State Representations with Insufficient Statistics. 2715-2721
• 
  Chandrashekar Lakshminarayanan, Shalabh Bhatnagar:
  A Generalized Reduced Linear Program for Markov Decision Processes. 2722-2728
• 
  Johannes Lederer, Christian L. Müller:
  Don't Fall for Tuning Parameters: Tuning-Free Variable Selection in High Dimensions With the TREX. 2729-2735
• 
  Kibok Lee, Junmo Kim:
  On the Equivalence of Linear Discriminant Analysis and Least Squares. 2736-2742
• 
  Chao Li, Qibin Zhao, Junhua Li, Andrzej Cichocki, Lili Guo:
  Multi-tensor Completion with Common Structures. 2743-2749
• 
  Yeqing Li, Feiping Nie, Heng Huang, Junzhou Huang:
  Large-Scale Multi-View Spectral Clustering via Bipartite Graph. 2750-2756
• 
  Wenzhao Lian, Piyush Rai, Esther Salazar, Lawrence Carin:
  Integrating Features and Similarities: Flexible Models for Heterogeneous Multiview Data. 2757-2763
• 
  Anqi Liu, Lev Reyzin, Brian D. Ziebart:
  Shift-Pessimistic Active Learning Using Robust Bias-Aware Prediction. 2764-2770
• 
  April H. Liu, Leonard K. M. Poon, Nevin Lianwen Zhang:
  Unidimensional Clustering of Discrete Data Using Latent Tree Models. 2771-2777
• 
  Meng Liu, Yong Luo, Dacheng Tao, Chao Xu, Yonggang Wen:
  Low-Rank Multi-View Learning in Matrix Completion for Multi-Label Image Classification. 2778-2784
• 
  Song Liu, Taiji Suzuki, Masashi Sugiyama:
  Support Consistency of Direct Sparse-Change Learning in Markov Networks. 2785-2791
• 
  Wei Liu, Cun Mu, Rongrong Ji, Shiqian Ma, John R. Smith, Shih-Fu Chang:
  Low-Rank Similarity Metric Learning in High Dimensions. 2792-2799
• 
  Weiwei Liu, Ivor W. Tsang:
  Large Margin Metric Learning for Multi-Label Prediction. 2800-2806
• 
  Xinwang Liu, Lei Wang, Jianping Yin, Yong Dou, Jian Zhang:
  Absent Multiple Kernel Learning. 2807-2813
• 
  Yong Liu, Shizhong Liao:
  Eigenvalues Ratio for Kernel Selection of Kernel Methods. 2814-2820
• 
  Kian Hsiang Low, Jiangbo Yu, Jie Chen, Patrick Jaillet:
  Parallel Gaussian Process Regression for Big Data: Low-Rank Representation Meets Markov Approximation. 2821-2827
• 
  Zhiwu Lu, Xin Gao, Liwei Wang, Ji-Rong Wen, Songfang Huang:
  Noise-Robust Semi-Supervised Learning by Large-Scale Sparse Coding. 2828-2834
• 
  Tengfei Ma, Issei Sato, Hiroshi Nakagawa:
  The Hybrid Nested/Hierarchical Dirichlet Process and its Application to Topic Modeling with Word Differentiation. 2835-2841
• 
  Patrick MacAlpine, Mike Depinet, Peter Stone:
  UT Austin Villa 2014: RoboCup 3D Simulation League Champion via Overlapping Layered Learning. 2842-2848
• 
  Travis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popovic:
  The Queue Method: Handling Delay, Heuristics, Prior Data, and Evaluation in Bandits. 2849-2856
• 
  David Martínez Martínez, Guillem Alenyà, Carme Torras:
  V-MIN: Efficient Reinforcement Learning through Demonstrations and Relaxed Reward Demands. 2857-2863
• 
  Charles Mathy, Nate Derbinsky, José Bento, Jonathan Rosenthal, Jonathan S. Yedidia:
  The Boundary Forest Algorithm for Online Supervised and Unsupervised Learning. 2864-2870
• 
  Shike Mei, Xiaojin Zhu:
  Using Machine Teaching to Identify Optimal Training-Set Attacks on Machine Learners. 2871-2877
• 
  Aniruddh Nath, Pedro M. Domingos:
  Learning Relational Sum-Product Networks. 2878-2886
• 
  Tu Dinh Nguyen, Truyen Tran, Dinh Q. Phung, Svetha Venkatesh:
  Tensor-Variate Restricted Boltzmann Machines. 2887-2893
• 
  Mingdong Ou, Peng Cui, Jun Wang, Fei Wang, Wenwu Zhu:
  Probabilistic Attributed Hashing. 2894-2900
• 
  Mahdi Pakdaman Naeini, Gregory F. Cooper, Milos Hauskrecht:
  Obtaining Well Calibrated Probabilities Using Bayesian Binning. 2901-2907
• 
  Brandon Shane Parker, Latifur Khan:
  Detecting and Tracking Concept Class Drift and Emergence in Non-Stationary Fast Data Streams. 2908-2913
• 
  Leto Peel, Aaron Clauset:
  Detecting Change Points in the Large-Scale Structure of Evolving Networks. 2914-2920
• 
  Yuxin Peng:
  Adaptive Sampling with Optimal Cost for Class-Imbalance Learning. 2921-2927
• 
  Matteo Pirotta, Simone Parisi, Marcello Restelli:
  Multi-Objective Reinforcement Learning with Continuous Pareto Frontier Approximation. 2928-2934
• 
  Chao Qian, Yang Yu, Zhi-Hua Zhou:
  Pareto Ensemble Pruning. 2935-2941
• 
  Piyush Rai, Yingjian Wang, Lawrence Carin:
  Leveraging Features and Networks for Probabilistic Tensor Decomposition. 2942-2948
• 
  Sashank Jakkam Reddi, Barnabás Póczos, Alexander J. Smola:
  Doubly Robust Covariate Shift Correction. 2949-2955
• 
  Peter Schulam, Fredrick Wigley, Suchi Saria:
  Clustering Longitudinal Clinical Marker Trajectories from Electronic Health Data: Applications to Phenotyping and Endotype Discovery. 2956-2964
• 
  Bin Shen, Bao-Di Liu, Qifan Wang, Yi Fang, Jan P. Allebach:
  SP-SVM: Large Margin Classifier for Data on Multiple Manifolds. 2965-2971
• 
  Yangqiu Song, Chenguang Wang, Ming Zhang, Hailong Sun, Qiang Yang:
  Spectral Label Refinement for Noisy and Missing Text Labels. 2972-2978
• 
  Paul A. Szerlip, Gregory Morse, Justin K. Pugh, Kenneth O. Stanley:
  Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation. 2979-2985
• 
  Erik Talvitie:
  Agnostic System Identification for Monte Carlo Planning. 2986-2992
• 
  Aviv Tamar, Yonatan Glassner, Shie Mannor:
  Optimizing the CVaR via Sampling. 2993-2999
• 
  Philip S. Thomas, Georgios Theocharous, Mohammad Ghavamzadeh:
  High-Confidence Off-Policy Evaluation. 3000-3006
• 
  Jan Van Haaren, Andrey Kolobov, Jesse Davis:
  TODTLER: Two-Order-Deep Transfer Learning. 3007-3015
• 
  Joel Veness, Marc G. Bellemare, Marcus Hutter, Alvin Chua, Guillaume Desjardins:
  Compress and Control. 3016-3023
• 
  Arun Venkatraman, Martial Hebert, J. Andrew Bagnell:
  Improving Multi-Step Prediction of Learned Time Series Models. 3024-3030
• 
  Cheng Wan, Xiaoming Jin, Guiguang Ding, Dou Shen:
  Gaussian Cardinality Restricted Boltzmann Machines. 3031-3037
• 
  Boyu Wang, Joelle Pineau:
  Online Boosting Algorithms for Anytime Transfer and Multitask Learning. 3038-3044
• 
  Hanmo Wang, Liang Du, Peng Zhou, Lei Shi, Yi-Dong Shen:
  Convex Batch Mode Active Sampling via α-Relative Pearson Divergence. 3045-3051
• 
  Hao Wang, Xingjian Shi, Dit-Yan Yeung:
  Relational Stacked Denoising Autoencoder for Tag Recommendation. 3052-3058
• 
  Hua Wang, Feiping Nie, Heng Huang:
  Learning Robust Locality Preserving Projection via p-Order Minimization. 3059-3065
• 
  Qifan Wang, Luo Si, Bin Shen:
  Learning to Hash on Structured Data. 3066-3072
• 
  Wei Wang, Hao Wang, Chen Zhang, Fanjiang Xu:
  Transfer Feature Representation via Multiple Kernel Learning. 3073-3079
• 
  Martha White, Junfeng Wen, Michael Bowling, Dale Schuurmans:
  Optimal Estimation of Multivariate ARMA Models. 3080-3086
• 
  Robert William Wright, Xingye Qiao, Steven Loscalzo, Lei Yu:
  Improving Approximate Value Iteration with Complex Returns by Bounding. 3087-3093
• 
  Ga Wu, Scott Sanner, Rodrigo F. S. C. Oliveira:
  Bayesian Model Averaging Naive Bayes (BMA-NB): Averaging over an Exponential Number of Feature Models in Linear Time. 3094-3100
• 
  Hongteng Xu, Licheng Yu, Dixin Luo, Hongyuan Zha, Yi Xu:
  Dictionary Learning with Mutually Reinforcing Group-Graph Structures. 3101-3107
• 
  Hongteng Xu, Hongyuan Zha, Ren-Cang Li, Mark A. Davenport:
  Active Manifold Learning via Gershgorin Circle Guided Sample Selection. 3108-3114
• 
  Zenglin Xu, Rong Jin, Bin Shen, Shenghuo Zhu:
  Nystrom Approximation for Sparse Kernel Methods: Theoretical Analysis and Empirical Evaluation. 3115-3121
• 
  Yuto Yamaguchi, Christos Faloutsos, Hiroyuki Kitagawa:
  OMNI-Prop: Seamless Node Classification on Arbitrary Label Correlation. 3122-3128
• 
  Yuya Yoshikawa, Tomoharu Iwata, Hiroshi Sawada:
  Non-Linear Regression for Bag-of-Words Data via Gaussian Process Latent Variable Set Model. 3129-3135
• 
  Takayuki Yoshizumi:
  A Mathematical Programming-Based Approach to Determining Objective Functions from Qualitative and Subjective Comparisons. 3136-3142
• 
  Hongyang Zhang, Zhouchen Lin, Chao Zhang, Edward Y. Chang:
  Exact Recoverability of Robust PCA via Outlier Pursuit with Tight Recovery Bounds. 3143-3149
• 
  Kun Zhang, Mingming Gong, Bernhard Schölkopf:
  Multi-Source Domain Adaptation: A Causal View. 3150-3157
• 
  Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
  Online Bandit Learning for a Special Class of Non-Convex Losses. 3158-3164
• 
  Shengping Zhang, Shiva Kasiviswanathan, Pong C. Yuen, Mehrtash Harandi:
  Online Dictionary Learning on Symmetric Positive Definite Manifolds with Vision Applications. 3165-3173
• 
  Xianchao Zhang, Linlin Zong, Xinyue Liu, Hong Yu:
  Constrained NMF-Based Multi-View Clustering on Unmapped Data. 3174-3180
• 
  Yu Zhang:
  Multi-Task Learning and Algorithmic Stability. 3181-3187
• 
  Han Zhao, Pascal Poupart, Yongfeng Zhang, Martin Lysy:
  SoF: Soft-Cluster Matrix Factorization for Probabilistic Clustering. 3188-3195
• 
  Qian Zhao, Deyu Meng, Lu Jiang, Qi Xie, Zongben Xu, Alexander G. Hauptmann:
  Self-Paced Learning for Matrix Factorization. 3196-3202
• 
  Yi Zhen, Piyush Rai, Hongyuan Zha, Lawrence Carin:
  Cross-Modal Similarity Learning via Pairs, Preferences, and Active Supervision. 3203-3209
• 
  Quan Zhou, Wenlin Chen, Shiji Song, Jacob R. Gardner, Kilian Q. Weinberger, Yixin Chen:
  A Reduction of the Elastic Net to Support Vector Machines with an Application to GPU Computing. 3210-3216
• 
  Feiyun Zhu, Bin Fan, Xinliang Zhu, Ying Wang, Shiming Xiang, Chunhong Pan:
  10, 000+ Times Accelerated Robust Subset Selection. 3217-3224

Planning and Scheduling

• 
  Meysam Aghighi, Peter Jonsson, Simon Ståhlberg:
  Tractable Cost-Optimal Planning over Restricted Polytree Causal Graphs. 3225-3231
• 
  Christer Bäckström:
  Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs. 3232-3238
• 
  Jeb Brooks, Emilia Reed, Alexander Gruver, James C. Boerkoel:
  Robustness in Probabilistic Temporal Planning. 3239-3246
• 
  Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman:
  SMT-Based Nonlinear PDDL+ Planning. 3247-3253
• 
  Alessandro Cimatti, Andrea Micheli, Marco Roveri:
  Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach. 3254-3260
• 
  Hao Cui, Roni Khardon, Alan Fern, Prasad Tadepalli:
  Factored MCTS for Large Scale Stochastic Planning. 3261-3267
• 
  Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar:
  Transition Constraints for Parallel Planning. 3268-3274
• 
  Robert P. Goldman, Ugur Kuter:
  Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric. 3275-3282
• 
  Eric A. Hansen, Ibrahim Abdoulahi:
  Efficient Bounds in Heuristic Search Algorithms for Stochastic Shortest Path Problems. 3283-3290
• 
  Robert C. Holte, Yusra Alkhazraji, Martin Wehrle:
  A Generalization of Sleep Sets Based on Operator Sequence Redundancy. 3291-3297
• 
  Sarah Keren, Avigdor Gal, Erez Karpas:
  Goal Recognition Design for Non-Optimal Agents. 3298-3304
• 
  Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler:
  Variable-Deletion Backdoors to Planning. 3305-3312
• 
  Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang:
  Preference Planning for Markov Decision Processes. 3313-3319
• 
  Hang Ma, Joelle Pineau:
  Information Gathering and Reward Exploitation of Subgoals for POMDPs. 3320-3326
• 
  Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
  Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. 3327-3334
• 
  Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp:
  From Non-Negative to General Operator Cost Partitioning. 3335-3341
• 
  Pascal Poupart, Aarti Malhotra, Pei Pei, Kee-Eung Kim, Bongseok Goh, Michael Bowling:
  Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes. 3342-3348
• 
  Jussi Rintanen:
  Discretization of Temporal Models with Application to Planning with SMT. 3349-3355
• 
  Yash Satsangi, Shimon Whiteson, Frans A. Oliehoek:
  Exploiting Submodular Value Functions for Faster Dynamic Sensor Selection. 3356-3363
• 
  Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter:
  Automatic Configuration of Sequential Planning Portfolios. 3364-3370
• 
  Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle:
  Heuristics and Symmetries in Classical Planning. 3371-3377
• 
  Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz:
  Factored Symmetries for Merge-and-Shrink Abstractions. 3378-3385
• 
  Sriram Srinivasan, Erik Talvitie, Michael H. Bowling:
  Improving Exploration in UCT Using Local Manifolds. 3386-3392
• 
  Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, Stuart J. Russell:
  Tractability of Planning with Loops. 3393-3401
• 
  Luis Gustavo Rocha Vianna, Leliane N. de Barros, Scott Sanner:
  Real-Time Symbolic Dynamic Programming. 3402-3408
• 
  David Wang, Brian Charles Williams:
  tBurton: A Divide and Conquer Temporal Planner. 3409-3417
• 
  Kyle Hollins Wray, Shlomo Zilberstein, Abdel-Illah Mouaddib:
  Multi-Objective MDPs with Conditional Lexicographic Reward Preferences. 3418-3424
• 
  Peng Yu, Cheng Fang, Brian Charles Williams:
  Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation. 3425-3431
• 
  Zizhen Zhang, Huang He, Zhixing Luo, Hu Qin, Songshan Guo:
  An Efficient Forest-Based Tabu Search Algorithm for the Split-delivery Vehicle Routing Problem. 3432-3438
• 
  Hankz Hankui Zhuo:
  Crowdsourced Action-Model Acquisition for Planning. 3439-3446

Reasoning under Uncertainty

• 
  Ehsan Abbasnejad, Justin Domke, Scott Sanner:
  Loss-Calibrated Monte Carlo Action Selection. 3447-3453
• 
  Yossiri Adulyasak, Pradeep Varakantham, Asrar Ahmed, Patrick Jaillet:
  Solving Uncertain MDPs with Objectives that Are Separable over Instantiations of Model Uncertainty. 3454-3460
• 
  Hadi Mohasel Afshar, Scott Sanner, Ehsan Abbasnejad:
  Linear-Time Gibbs Sampling in Piecewise Graphical Models. 3461-3467
• 
  Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey:
  Stable Model Counting and Its Application in Probabilistic Logic Programming. 3468-3474
• 
  Elias Bareinboim, Jin Tian:
  Recovering Causal Effects from Selection Bias. 3475-3481
• 
  Nahla Ben Amor, Fatma Essghaier, Hélène Fargier:
  Egalitarian Collective Decision Making under Qualitative Possibilistic Uncertainty: Principles and Characterization. 3482-3488
• 
  David Buchman, David Poole:
  Representing Aggregators in Relational Probabilistic Models. 3489-3495
• 
  Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia:
  Optimal Cost Almost-Sure Reachability in POMDPs. 3496-3502
• 
  Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche:
  Value of Information Based on Decision Robustness. 3503-3510
• 
  Yuxin Chen, Shervin Javdani, Amin Karbasi, J. Andrew Bagnell, Siddhartha S. Srinivasa, Andreas Krause:
  Submodular Surrogates for Value of Information. 3511-3518
• 
  Fábio Gagliardi Cozman, Denis Deratani Mauá:
  Bayesian Networks Specified Using Propositional and Relational Constructs: Combined, Data, and Domain Complexity. 3519-3525
• 
  Xiannian Fan, Changhe Yuan:
  An Improved Lower Bound for Bayesian Network Structure Learning. 3526-3532
• 
  Darrell Hoy, Evdokia Nikolova:
  Approximately Optimal Risk-Averse Routing Policies via Adaptive Discretization. 3533-3539
• 
  Thomas Keller, Florian Geißer:
  Better Be Lucky than Good: Exceeding Expectations in MDP Evaluation. 3540-3547
• 
  Hyeoneun Kim, Woosang Lim, Kanghoon Lee, Yung-Kyun Noh, Kee-Eung Kim:
  Reward Shaping for Model-Based Bayesian Reinforcement Learning. 3548-3555
• 
  Kanghoon Lee, Kee-Eung Kim:
  Tighter Value Function Bounds for Bayesian Reinforcement Learning. 3556-3563
• 
  Phillip Odom, Tushar Khot, Reid Porter, Sriraam Natarajan:
  Knowledge-Based Probabilistic Logic Learning. 3564-3570
• 
  Aaditya Ramdas, Sashank Jakkam Reddi, Barnabás Póczos, Aarti Singh, Larry A. Wasserman:
  On the Decreasing Power of Kernel and Distance Based Nonparametric Hypothesis Tests in High Dimensions. 3571-3577
• 
  Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
  Representation Discovery for MDPs Using Bisimulation Metrics. 3578-3584
• 
  Michael John Schofield, Michael Thielscher:
  Lifting Model Sampling for General Game Playing to Incomplete-Information Models. 3585-3591
• 
  Alexander Shleyfman, Antonín Komenda, Carmel Domshlak:
  On Interruptible Pure Exploration in Multi-Armed Bandits. 3592-3598
• 
  Guy Van den Broeck, Mathias Niepert:
  Lifted Probabilistic Inference for Asymmetric Graphical Models. 3599-3605
• 
  Deepak Venugopal, Somdeb Sarkhel, Vibhav Gogate:
  Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs. 3606-3612
• 
  Ngo Anh Vien, Marc Toussaint:
  Hierarchical Monte-Carlo Planning. 3613-3619
• 
  Andrew J. Wang, Brian C. Williams:
  Chance-Constrained Scheduling via Conflict-Directed Risk Allocation. 3620-3627
• 
  Jeremy C. Weiss, Sriraam Natarajan, C. David Page Jr.:
  Learning to Reject Sequential Importance Steps for Continuous-Time Bayesian Networks. 3628-3634
• 
  Erik Peter Zawadzki, Sébastien Lahaie:
  Nonparametric Scoring Rules. 3635-3641
• 
  Chongjie Zhang, Julie A. Shah:
  On Fairness in Decision-Making under Uncertainty: Definitions, Computation, and Comparison. 3642-3648
• 
  Xiaoyuan Zhu, Changhe Yuan:
  An Exact Algorithm for Solving Most Relevant Explanation in Bayesian Networks. 3649-3656

Robotics

• 
  José Bento, Nate Derbinsky, Charles Mathy, Jonathan S. Yedidia:
  Proximal Operators for Multi-Agent Path Planning. 3657-3663
• 
  Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi:
  This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. 3664-3671
• 
  Mathew Monfort, Anqi Liu, Brian D. Ziebart:
  Intent Prediction and Trajectory Forecasting via Predictive Inverse Linear-Quadratic Regulation. 3672-3678
• 
  David Ray Thompson, David Wettergreen, Greydon T. Foil, P. Michael Furlong, Anatha Ravi Kiran:
  Spatio-Spectral Exploration Combining In Situ and Remote Measurements. 3679-3685
• 
  Yezhou Yang, Yi Li, Cornelia Fermüller, Yiannis Aloimonos:
  Robot Learning Manipulation Action Plans by "Watching" Unconstrained Videos from the World Wide Web. 3686-3693

Search and Constraint Satisfaction

• 
  Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl:
  Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. 3694-3701
• 
  Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
  SAT Modulo Monotonic Theories. 3702-3709
• 
  Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez:
  On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. 3710-3716
• 
  Christian Bessiere, Anastasia Paparrizou, Kostas Stergiou:
  Strong Bounds Consistencies and Their Application to Linear Constraints. 3717-3723
• 
  Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli:
  SMT-Based Validation of Timed Failure Propagation Graphs. 3724-3730
• 
  David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny:
  Binarisation via Dualisation for Valued Constraints. 3731-3737
• 
  Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk:
  SAT-Based Strategy Extraction in Reachability Games. 3738-3745
• 
  Philippe Jégou, Cyril Terrioux:
  The Extendable-Triple Property: A New CSP Tractable Class beyond BTP. 3746-3754

Vision

• 
  Jayanta Kumar Dutta, Bonny Banerjee:
  Online Detection of Abnormal Events Using Incremental Coding Length. 3755-3761
• 
  Tarek El-Gaaly, Vicky Froyen, Ahmed M. Elgammal, Jacob Feldman, Manish Singh:
  A Bayesian Approach to Perceptual 3D Object-Part Decomposition Using Skeleton-Based Representations. 3762-3768
• 
  Chuang Gan, Ming Lin, Yi Yang, Yueting Zhuang, Alexander G. Hauptmann:
  Exploring Semantic Inter-Class Relationships (SIR) for Zero-Shot Action Recognition. 3769-3775
• 
  Jun Guo, Changhu Wang, Hongyang Chao:
  Building Effective Representations for Sketch Recognition. 3776-3782
• 
  Yuchen Guo, Guiguang Ding, Xiaoming Jin, Jianmin Wang:
  Learning Predictable and Discriminative Attributes for Visual Recognition. 3783-3789
• 
  Bo Jiang, Jin Tang, Chris H. Q. Ding, Bin Luo:
  A Local Sparse Model for Matching Problem. 3790-3796
• 
  Johannes Lederer, Sergio Guadarrama:
  Compute Less to Get More: Using ORC to Improve Sparse Filtering. 3797-3803
• 
  Jun Li, Heyou Chang, Jian Yang:
  Sparse Deep Stacking Network for Image Classification. 3804-3810
• 
  Chaochao Lu, Xiaoou Tang:
  Surpassing Human-Level Face Verification Performance on LFW with GaussianFace. 3811-3819
• 
  Wenhan Luo, Björn Stenger, Xiaowei Zhao, Tae-Kyun Kim:
  Automatic Topic Discovery for Multi-Object Tracking. 3820-3826
• 
  Xi Peng, Zhang Yi, Huajin Tang:
  Robust Subspace Clustering via Thresholding Ridge Regression. 3827-3833
• 
  Junchi Yan, Jun Wang, Hongyuan Zha, Xiaokang Yang, Stephen M. Chu:
  Multi-View Point Registration via Alternating Optimization. 3834-3840
• 
  Yan Yan, Yi Yang, Haoquan Shen, Deyu Meng, Gaowen Liu, Alexander G. Hauptmann, Nicu Sebe:
  Complex Event Detection via Event Oriented Dictionary Learning. 3841-3847
• 
  Shuo Yang, Ping Luo, Chen Change Loy, Kenneth W. Shum, Xiaoou Tang:
  Deep Representation Learning with Target Coding. 3848-3854
• 
  Haonan Yu, Jeffrey Mark Siskind:
  Learning to Describe Video with Weak Supervision by Exploiting Negative Sentential Information. 3855-3863
• 
  Liming Zhao, Xi Li, Jun Xiao, Fei Wu, Yueting Zhuang:
  Metric Learning Driven Multi-Task Structured Output Optimization for Robust Keypoint Tracking. 3864-3870
• 
  Erjin Zhou, Haoqiang Fan, Zhimin Cao, Yuning Jiang, Qi Yin:
  Learning Face Hallucination in the Wild. 3871-3877
• 
  Chao Zhu, Yuxin Peng:
  A Boosted Multi-Task Model for Pedestrian Detection with Occlusion Handling. 3878-3886

Innovative Applications of Artificial Intelligence - Deployed Applications

• 
  John L. Bresina:
  Activity Planning for a Lunar Orbital Mission. 3887-3895
• 
  Amit Dhurandhar, Rajesh Kumar Ravi, Bruce Graves, Gopikrishnan Maniachari, Markus Ettl:
  Robust System for Identifying Procurement Fraud. 3896-3903
• 
  Leonard Kinnaird-Heether, Chris Dorman:
  Position Assignment on an Enterprise Level Using Combinatorial Optimization. 3904-3911
• 
  Juan Liu, Eric Bier, Aaron Wilson, Tomonori Honda, Kumar Sricharan, Leilani Gilpin, John Alexis Guerra Gómez, Daniel Davies:
  Graph Analysis for Detecting Fraud, Waste, and Abuse in Healthcare Data. 3912-3919
• 
  Sathappan Muthiah, Bert Huang, Jaime Arredondo, David Mares, Lise Getoor, Graham Katz, Naren Ramakrishnan:
  Planned Protest Modeling in News and Social Media. 3920-3927
• 
  Edward D. Thompson, Ethan Frolich, James C. Bellows, Benjamin E. Bassford, Edward J. Skiko, Mark S. Fox:
  Process Diagnosis System (PDS) - A 30 Year History. 3928-3934

Innovative Applications of Artificial Intelligence - Emerging Applications

• 
  Brooke Cowan, Sven Zethelius, Brittany Luk, Teodora Baras, Prachi Ukarde, Daodao Zhang:
  Named Entity Recognition in Travel-Related Search Queries. 3935-3941
• 
  Murthy V. Devarakonda, Ching-Huei Tsou:
  Automated Problem List Generation from Electronic Medical Records in IBM Watson. 3942-3947
• 
  Heshan Du, Hai H. Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin:
  Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. 3948-3953
• 
  David John Gagne II, Amy McGovern, Jerald Brotzge, Michael Coniglio, James Correia Jr., Ming Xue:
  Day-Ahead Hail Prediction Integrating Machine Learning with Storm-Scale Numerical Weather Models. 3954-3960
• 
  Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston:
  Capturing Human Route Preferences From Track Information: New Results. 3961-3966
• 
  Christophe Guettier, Willy Lamal, Israel Mayk, Jacques Yelloz:
  Design and Experiment of a Collaborative Planning Service for NetCentric International Brigade Command. 3967-3974
• 
  Greg Hines, Alexandra Swanson, Margaret Kosmala, Chris J. Lintott:
  Aggregating User Input in Ecology Citizen Science Projects. 3975-3980
• 
  Sasin Janpuangtong, Dylan A. Shell:
  Leveraging Ontologies to Improve Model Generalization Automatically with Online Data Sources. 3981-3986
• 
  Ugur Kuter, Mark H. Burstein, J. Benton, Daniel Bryce, Jordan Tyler Thayer, Steve McCoy:
  HACKAR: Helpful Advice for Code Knowledge and Attack Resilience. 3987-3992
• 
  Andres Quiroz, Eric Huang, Luca Ceriani:
  A Robust and Extensible Tool for Data Integration Using Data Type Models. 3993-3998
• 
  Paul Taele, Laura Barreto, Tracy Anne Hammond:
  Maestoso: An Intelligent Educational Sketching Tool for Learning Music Theory. 3999-4005
• 
  Amulya Yadav, Leandro Soriano Marcolino, Eric Rice, Robin Petering, Hailey Winetrobe, Harmony Rhoades, Milind Tambe, Heather Carmichael:
  Preventing HIV Spread in Homeless Populations Using PSINET. 4006-4011
• 
  Meng Zhao, Faizan Javed, Ferosh Jacob, Matt McNair:
  SKILL: A System for Skill Identification and Normalization. 4012-4018

Innovative Applications of Artificial Intelligence - Challenge Problem Papers

• 
  Peter Clark:
  Elementary School Science and Math Tests as a Driver for AI: Take the Aristo Challenge! 4019-4021
• 
  Jeremy Hyrkas, Daniel Halperin, Bill Howe:
  Time-Varying Clusters in Large-Scale Flow Cytometry. 4022-4023
• 
  Leora Morgenstern, Charles L. Ortiz Jr.:
  The Winograd Schema Challenge: Evaluating Progress in Commonsense Reasoning. 4024-4026

Senior Member Papers

• 
  Bonnie J. Dorr, Lucian Galescu, Ian Perera, Kristy Hollingshead-Seitz, David John Atkinson, Micah Clark, William J. Clancey, Yorick Wilks, Eric Fosler-Lussier:
  Speech Adaptation in Extended Ambient Intelligence Environments. 4027-4031
• 
  Sarit Kraus:
  Intelligent Agents for Rehabilitation and Care of Disabled and Chronic Patients. 4032-4036
• 
  Tie-Yan Liu, Wei Chen, Tao Qin:
  Mechanism Learning with Mechanism Induced Data. 4037-4041
• 
  Michela Milano, Pascal Van Hentenryck:
  Emerging Architectures for Global System Science. 4042-4046
• 
  Dana S. Nau, Malik Ghallab, Paolo Traverso:
  Blended Planning and Acting: Preliminary Approach, Research Challenges. 4047-4051
• 
  Jussi Rintanen:
  Impact of Modeling Languages on the Theory and Practice in Planning Research. 4052-4056
• 
  Tuomas Sandholm:
  Steering Evolution Strategically: Computational Game Theory and Opponent Exploitation for Treatment Planning, Drug Design, and Synthetic Biology. 4057-4061
• 
  Howard Elliot Shrobe, Boris Katz, Randall Davis:
  Towards a Programmer's Apprentice (Again). 4062-4066
• 
  Jeffrey Mark Siskind:
  Conducting Neuroscience to Guide the Development of AI. 4067-4072
• 
  Toby Walsh:
  Challenges in Resource and Cost Allocation. 4073-4077
• 
  Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss:
  Explaining Watson: Polymath Style. 4078-4082
• 
  Xiaojin Zhu:
  Machine Teaching: An Inverse Problem to Machine Learning and an Approach Toward Optimal Education. 4083-4087
• 
  Shlomo Zilberstein:
  Building Strong Semi-Autonomous Systems. 4088-4092
• 
  Vinay K. Chaudhri:
  Achieving Intelligence Using Prototypes, Composition, and Analogy. 4093-4099
• 
  Cristina Conati, Giuseppe Carenini, Dereck Toker, Sébastien Lallé:
  Towards User-Adaptive Information Visualization. 4100-4106
• 
  Luc De Raedt:
  Languages for Learning and Mining. 4107-4111
• 
  Pierre Marquis:
  Compile! 4112-4118
• 
  Oliver Niggemann, Volker Lohweg:
  On the Diagnosis of Cyber-Physical Production Systems. 4119-4126
• 
  Tuomas Sandholm:
  Abstraction for Solving Large Incomplete-Information Games. 4127-4131
• 
  Lenhart K. Schubert:
  Semantic Representation. 4132-4139

Student Abstracts

• 
  Saad Alqithami:
  A Succinct Conceptualization of the Foundations for a Network Organization Paradigm. 4140-4141
• 
  Julio César Bahamón, Camille Barot, Robert Michael Young:
  A Goal-Based Model of Personality for Planning-Based Narrative Generation. 4142-4143
• 
  Matt Barnes, Nick Gisolfi, Madalina Fiterau, Artur Dubrawski:
  Leveraging Common Structure to Improve Prediction across Related Datasets. 4144-4145
• 
  Li Chen, Matthew Patton:
  Stochastic Blockmodeling for Online Advertising. 4146-4147
• 
  Mahsa Chitsaz, Zhe Wang, Kewen Wang:
  Query Abduction for ELH Ontologies. 4148-4149
• 
  Jennifer D'Souza:
  A Multi-Pass Sieve for Name Normalization. 4150-4151
• 
  Jennifer D'Souza:
  A Sequence Labeling Approach to Deriving Word Variants. 4152-4153
• 
  Priya Lekha Donti, Jacob Rosenbloom, Alex Gruver, James C. Boerkoel Jr.:
  Predicting the Quality of User Experiences to Improve Productivity and Wellness. 4154-4155
• 
  Zhanwei Du, Yongjian Yang, Chuang Ma, Yuan Bai:
  Modelling Individual Negative Emotion Spreading Process with Mobile Phones. 4156-4157
• 
  Madalina Fiterau, Artur Dubrawski:
  Active Learning for Informative Projection Retrieval. 4158-4159
• 
  Katie Genter, Peter Stone:
  Placing Influencing Agents in a Flock. 4160-4161
• 
  Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry:
  Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators. 4162-4163
• 
  Nick Gisolfi, Madalina Fiterau, Artur Dubrawski:
  Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System. 4164-4165
• 
  Sviatlana Höhn:
  Dealing with Trouble: A Data-Driven Model of a Repair Type for a Conversational Agent. 4166-4167
• 
  Hadi Hosseini, Kate Larson, Robin Cohen:
  On Manipulablity of Random Serial Dictatorship in Sequential Matching with Dynamic Preferences. 4168-4169
• 
  Young-Seob Jeong, Ho-Jin Choi:
  Language Independent Feature Extractor. 4170-4171
• 
  Xinxin Jiang, Wei Liu, Longbing Cao, Guodong Long:
  Coupled Collaborative Filtering for Context-aware Recommendation. 4172-4173
• 
  Mayank Kejriwal:
  Sorted Neighborhood for the Semantic Web. 4174-4175
• 
  Mackenzie Leake, Liyu Xia, Kamil Rocki, Wayne Imaino:
  Effect of Spatial Pooler Initialization on Column Activity in Hierarchical Temporal Memory. 4176-4177
• 
  Chao Li, Lei Ji, Jun Yan:
  Acronym Disambiguation Using Word Embedding. 4178-4179
• 
  Qun Luo, Weiran Xu:
  Learning Word Vectors Efficiently Using Shared Representations and Document Representations. 4180-4181
• 
  Valentin Mayer-Eichberger:
  Just-in-Time Hierarchical Constraint Decomposition. 4182-4183
• 
  Vaishnavh Nagarajan, Leandro Soriano Marcolino, Milind Tambe:
  Every Team Deserves a Second Chance: Identifying When Things Go Wrong (Student Abstract Version). 4184-4185
• 
  Phillip Odom, Sriraam Natarajan:
  Active Advice Seeking for Inverse Reinforcement Learning. 4186-4187
• 
  Swetasudha Panda, Yevgeniy Vorobeychik:
  Designing Vaccines that Are Robust to Virus Escape. 4188-4189
• 
  Natalie Parde, Michalis Papakostas, Konstantinos Tsiakas, Rodney D. Nielsen:
  "Is It Rectangular?" Using I Spy as an Interactive, Game-Based Approach to Multimodal Robot Learning. 4190-4191
• 
  Mahboobeh Parsapoor, John Brooke, Bertil Svensson:
  A New Computational Intelligence Model for Long-Term Prediction of Solar and Geomagnetic Activity. 4192-4193
• 
  Charles Peabody, Jennifer Seitzer:
  GEF: A Self-Programming Robot Using Grammatical Evolution. 4194-4195
• 
  Chiara Piacentini, Maria Fox, Derek Long:
  Planning with Numeric Timed Initial Fluents. 4196-4197
• 
  Jedrzej Potoniec, Agnieszka Lawrynowicz:
  Combining Ontology Class Expression Generation with Mathematical Modeling for Ontology Learning. 4198-4199
• 
  Siting Ren, Sheng Gao, Jianxin Liao, Jun Guo:
  Improving Cross-Domain Recommendation through Probabilistic Cluster-Level Latent Factor Model. 4200-4201
• 
  Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
  Representation Discovery for MDPs Using Bisimulation Metrics. 4202-4203
• 
  Claudia Schulz:
  Graphical Representation of Assumption-Based Argumentation. 4204-4205
• 
  Jingyu Shao, Junfu Yin, Wei Liu, Longbing Cao:
  Actionable Combined High Utility Itemset Mining. 4206-4207
• 
  Samta Shukla, Aditya Telang, Salil Joshi, L. Venkata Subramaniam:
  Spatio-Temporal Signatures of User-Centric Data: How Similar Are We? 4208-4209
• 
  Niket Tandon, Shekhar Sharma, Tanima Makkad:
  Multimedia Data for the Visually Impaired. 4210-4211
• 
  Wenting Tu, David Wai-Lok Cheung, Nikos Mamoulis:
  Improving Microblog Retrieval from Exterior Corpus by Automatically Constructing Microblogging Corpus. 4212-4213
• 
  Wenting Tu, David Wai-Lok Cheung, Nikos Mamoulis:
  Time-Sensitive Opinion Mining for Prediction. 4214-4215
• 
  Gabriele Valentini, Heiko Hamann, Marco Dorigo:
  Self-Organized Collective Decision-Making in a 100-Robot Swarm. 4216-4217
• 
  Yi Wang, Joohyung Lee:
  Handling Uncertainty in Answer Set Programming. 4218-4219
• 
  Heting Wu, Hailong Sun, Yili Fang, Kefan Hu, Yongqing Xie, Yangqiu Song, Xudong Liu:
  Combining Machine Learning and Crowdsourcing for Better Understanding Commodity Reviews. 4220-4221
• 
  Kun Xu, Sheng Zhang, Yansong Feng, Songfang Huang, Dongyan Zhao:
  What Is the Longest River in the USA? Semantic Parsing for Aggregation Questions. 4222-4223
• 
  Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang:
  Accelerating SAT Solving by Common Subclause Elimination. 4224-4225
• 
  Ruohan Zhang, Zhao Song, Dana H. Ballard:
  Global Policy Construction in Modular Reinforcement Learning. 4226-4227
• 
  Tian Zhou, Maria Eugenia Cabrera, Juan Pablo Wachs:
  Touchless Telerobotic Surgery - Is It Possible at All? 4228-4230

Doctoral Consortium

• 
  Maria Barrett, Anders Søgaard:
  Modeling Eye Movements when Reading Microblogs. 4231-4232
• 
  Ferdinando Fioretto:
  Exploiting the Structure of Distributed Constraint Optimization Problems. 4233-
• 
  Zack Fitzsimmons:
  Realistic Assumptions for Attacks on Elections. 4135-4236
• 
  Bradley Hayes:
  Social Hierarchical Learning. 4237-4238
• 
  Charmgil Hong, Milos Hauskrecht:
  Multivariate Conditional Anomaly Detection and Its Clinical Application. 4239-4240
• 
  Ping Hou:
  Probabilistic Planning with Risk-Sensitive Criterion. 4241-4242
• 
  Mayank Kejriwal:
  Entity Resolution in a Big Data Framework. 4243-4244
• 
  Scott Kiesel:
  Non-Classical Planning for Robotic Applications. 4245-4246
• 
  Wei Kuang, Laura E. Brown, Zhenlin Wang:
  Transfer Learning-Based Co-Run Scheduling for Heterogeneous Datacenters. 4247-4248
• 
  Boon Ping Lim:
  HVAC-Aware Occupancy Scheduling (Extended Abstract). 4249-4250
• 
  Carrie Rebhuhn:
  Scalable Agent Modeling for Large Multiagent Systems. 4251-4252
• 
  Claudia Schulz:
  Explaining Answer Set Programming in Argumentative Terms. 4253-4254
• 
  Guni Sharon:
  Optimal Multi-Agent Pathfinding Algorithms. 4255-4256
• 
  Leandro Soriano Marcolino:
  Multi-Agent Team Formation: Solving Complex Problems by Aggregating Opinions. 4257-4258
• 
  Deepak Venugopal:
  Scaling-Up Inference in Markov Logic. 4259-4260
• 
  Andrew J. Wang:
  Risk-Aware Scheduling throughout Planning and Execution. 4261-4263

Demonstrations

• 
  Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo:
  A Planning-Based Assistance System for Setting Up a Home Theater. 4264-4265
• 
  Abhijit Bhole, Raghavendra Udupa:
  On Correcting Misspelled Queries in Email Search. 4266-4267
• 
  Alain Biem, Maria Butrico, Mark Feblowitz, Tim Klinger, Yuri Malitsky, Kenney Ng, Adam Perer, Chandra Reddy, Anton Riabov, Horst Samulowitz, Daby M. Sow, Gerald Tesauro, Deepak S. Turaga:
  Towards Cognitive Automation of Data Science. 4268-4269
• 
  Noam Brown, Sam Ganzfried, Tuomas Sandholm:
  Tartanian7: A Champion Two-Player No-Limit Texas Hold'em Poker-Playing Program. 4270-4271
• 
  Jun Chen, Chaokun Wang, Yiyuan Bai:
  CrowdMR: Integrating Crowdsourcing with MapReduce for AI-Hard Problems. 4272-4273
• 
  Sheng Gao, Dai Zhang, Honggang Zhang, Chao Huang, Yongsheng Zhang, Jianxin Liao, Jun Guo:
  VecLP: A Realtime Video Recommendation System for Live TV Programs. 4274-4275
• 
  Maxime Guériau, Romain Billot, Nour-Eddin El Faouzi, Salima Hassas, Frédéric Armetta:
  Multi-Agent Dynamic Coupling for Cooperative Vehicles Modeling. 4276-4277
• 
  Raghu Krishnapuram, Luis A. Lastras, Satya V. Nitta:
  Cognitive Master Teacher. 4278-4279
• 
  Henry Lieberman, Joe Henke:
  Visualizing Inference. 4280-4281
• 
  Tobias Linnenberg, Alexander Fay, Michael Kaisers:
  Bottom-Up Demand Response by Following Local Energy Generation Voluntarily. 4282-4283
• 
  Jaimie Murdock, Colin Allen:
  Visualization Techniques for Topic Model Checking. 4284-4285
• 
  Tam Van Nguyen:
  Salient Object Detection via Objectness Proposals. 4286-4287
• 
  Yamuna Prasad, Kanad K. Biswas:
  Gene Selection in Microarray Datasets Using Progressively Refined PSO Scheme. 4288-4289
• 
  Hanumant Harichandra Redkar, Sudha Baban Bhingardive, Diptesh Kanojia, Pushpak Bhattacharyya:
  World WordNet Database Structure: An Efficient Schema for Storing Information of WordNets of the World. 4290-4291
• 
  Ryan A. Rossi, Nesreen K. Ahmed:
  The Network Data Repository with Interactive Graph Analytics and Visualization. 4292-4293
• 
  Vasile Rus, Nobal B. Niraula, Rajendra Banjade:
  DeepTutor: An Effective, Online Intelligent Tutoring System That Promotes Deep Learning. 4294-4295
• 
  Svitlana Volkova, Yoram Bachrach, Michael Armstrong, Vijay Sharma:
  Inferring Latent User Properties from Texts Published in Social Media. 4296-4297
• 
  Stefan J. Witwicki, Francesco Mondada:
  Circumventing Robots' Failures by Embracing Their Faults: A Practical Approach to Planning for Autonomous Construction. 4298-4299
• 
  Xinfeng Zhang, Su Yang, Yuan Yan Tang, Weishan Zhang:
  Crowd Motion Monitoring with Thermodynamics-Inspired Feature. 4300-4302

Virtual Agent Demonstrations

• 
  Margot Lhommet, Yuyu Xu, Stacy Marsella:
  Cerebella: Automatic Generation of Nonverbal Behavior for Virtual Humans. 4303-4304
• 
  Boyang Li, Mark O. Riedl:
  Scheherazade: Crowd-Powered Interactive Narrative Generation. 4305-4306
• 
  Louis-Philippe Morency, Giota Stratou, David DeVault, Arno Hartholt, Margot Lhommet, Gale M. Lucas, Fabrizio Morbini, Kallirroi Georgila, Stefan Scherer, Jonathan Gratch, Stacy Marsella, David R. Traum, Albert A. Rizzo:
  SimSensei Demonstration: A Perceptive Virtual Human Interviewer for Healthcare Applications. 4307-4308
• 
  Florian Pecune, Béatrice Biancardi, Yu Ding, Catherine Pelachaud, Maurizio Mancini, Giovanna Varni, Antonio Camurri, Gualtiero Volpe:
  LOL - Laugh Out Loud. 4309-4310
• 
  Julie Porteous, Fred Charles, Marc Cavazza:
  Using Social Relationships to Control Narrative Generation. 4311-4312
• 
  Stephen G. Ware, Robert Michael Young, Christian Stith, Phillip Wright:
  Interactive Narrative Planning in The Best Laid Plans. 4313-4315

What's Hot Abstracts

• 
  Chitta Baral, Giuseppe De Giacomo:
  Knowledge Representation and Reasoning: What's Hot. 4316-4317
• 
  Jeffrey Bigham:
  What's Hot in Crowdsourcing and Human Computation. 4318-4319
• 
  Stefan Edelkamp, Peter Kissmann, Álvaro Torralba:
  BDDs Strike Back (in AI Planning). 4320-4321
• 
  Marijn Heule, Torsten Schaub:
  What's Hot in the SAT and ASP Competitions. 4322-4323
• 
  Wei Li:
  What Is Hot in CHI. 4324-4325
• 
  Jochen Renz:
  AIBIRDS: The Angry Birds Artificial Intelligence Competition. 4326-4327
• 
  Sven Wachsmuth, Dirk Holz, Maja Rudinac, Javier Ruiz-del-Solar:
  RoboCup@Home - Benchmarking Domestic Service Robots. 4328-4329
• 
  Wei Wang:
  Data Science for Social Good - 2014 KDD Highlights. 4330-